Skip to content
AfricaCrypt2027

Satellite event

CCAS Summer School on Applied Cryptography

Two days of hands-on lectures for graduate students and early-career researchers, held immediately before the main conference.

5–6 July 2027 · Institut National Polytechnique Houphouët-Boigny (same venue as the conference)

Register via the conference form

Overview

What to expect

The summer school is a gentle on-ramp to the topics of the main conference. Mornings are lectures from first principles; afternoons are supervised lab sessions where you implement and break small primitives yourself. Bring a laptop with a working C and Python toolchain. Places are limited to 60 participants and are allocated on a first-come, first-served basis with a short motivation paragraph.

You will cover

  • Reduction-based security proofs
  • Constant-time implementation and side channels
  • Lattice problems and post-quantum key exchange
  • Reading and reproducing a research paper

Instructors

Who is teaching

  • Portrait of Daniel Okoro

    Daniel Okoro

    University of Lagos, Nigeria

    Daniel Okoro works on provable security and the formal analysis of real-world protocols, including TLS and messaging. He teaches a popular graduate course on reduction-based proofs.

  • Portrait of Sofia Reyes

    Sofia Reyes

    IMDEA Software Institute, Spain

    Sofia Reyes builds tools for computer-aided cryptography and has verified implementations of elliptic-curve arithmetic used in production libraries. Her interests span formal methods, side-channel resistance and constant-time programming.

  • Portrait of Priya Raghavan

    Priya Raghavan

    Indian Institute of Technology Madras, India

    Priya Raghavan studies post-quantum cryptography, with recent contributions to isogeny-based key exchange and to the concrete security of code-based schemes. She co-organises the annual Post-Quantum Cryptography school in Chennai.

Schedule

Two days, hands-on

Day 1 · Foundations — 5 July 2027

  1. Registration

    Check-in and laptop setup

  2. Session

    Provable security from scratch: games, reductions, advantage

    Daniel Okoro

  3. Break

    Coffee break

  4. Session

    Lab: write a reduction by hand, then check it

    Daniel Okoro

  5. Break

    Lunch

  6. Session

    Constant-time programming and why your code is not

    Sofia Reyes

  7. Break

    Coffee break

  8. Session

    Lab: find the timing leak in a sample library

    Sofia Reyes

  9. Closing

    Wrap-up and questions

Day 2 · Post-Quantum — 6 July 2027

  1. Session

    Lattices, LWE and the schemes that got standardised

    Priya Raghavan

  2. Break

    Coffee break

  3. Session

    Lab: implement a toy LWE key exchange

    Priya Raghavan

  4. Break

    Lunch

  5. Session

    Migration in practice: hybrids, sizes, and pitfalls

    Priya Raghavan

  6. Break

    Coffee break

  7. Session

    Open lab and office hours with all instructors

  8. Closing

    Closing, feedback, and hand-over to the main conference

Fees

Registration

Category Early Late
Students from African institutions Proof of enrolment required. Free Free
Other participants €50 €50
  • A laptop is required. Setup instructions are emailed one week before.
  • Lunch and coffee breaks are included; accommodation and travel are not.
  • Completing the school earns a certificate of attendance.
  • Registration and payment go through the conference registration: tick the summer-school option on the form and add the fee to your transfer.
Register via the conference form