17:30 - 18:30  

  Registration 

       18:00 

  Welcome Cocktail   

  08:30 - 09:30

  Registration

  09:00 - 09:30

  Opening remarks

  09:30 - 11:10 

  Zero-Knowledge Proofs and Distributed Computation

  Chair: Arantxa Zapico

  09:30  

  Prabhanjan Ananth and Alex Bredariol Grilo.

  Post-Quantum Zero-Knowledge with Space-Bounded Simulation

  (slides, video)

  09:55

  Leah Namisa Rosenbloom and Anna Lysyanskaya.

  Adaptive UC NIZK for Practical Applications

  (slides, video)

  10:20

  Simon Masson, Youssef El Housni, Thomas Piellard and Liam Eagen.

  Fast elliptic curve scalar multiplications in SN(T)ARK circuits

  (slides, video)  

  10:45

  Matthias Geihs.

  Great-LaKys: An Improved Threshold-PRF and a Novel Exponent-VRF from LWR

  (slides, video)

  11:10 - 11:40

  Break

  11:40 - 12:40

  Invited talk (Benedikt Bünz):  Hash-based accumulation

  12:40 - 14:25

  Lunch

  14:25 - 15:15

  Quantum and Post-Quantum Cryptography

  Chair: Nicolas Thériault

  14:25  

  Razvan Barbulescu, Mugurel Barcau and Vicentiu Pasol.

  Extending Regev’s quantum algorithm to elliptic curves

  (slides, video)

  14:50

  Anne Broadbent, Alex Bredariol Grilo, Supartha Podder and Jamie Sikora.

  The role of piracy in quantum proofs

  (slides, video)

  15:15 - 15:45

  Break

  15:45 - 17:00

  Post-Quantum Cryptography (Pt. 2)

  Chair: Francisco Rodríguez Henríquez

  15:45

  Wouter Castryck, Riccardo Invernizzi, Gioella Lorenzon, Jonas Meers and Frederik Vercauteren.

  Orient Express: Using Frobenius to Express Oriented Isogenies 

  (slides, video)

  16:10

  Steven Galbraith, Valerie Gilchrist and Damien Robert.

  Improved algorithms for ascending isogeny volcanoes, and applications

  (slides, video)

  16:35

  Krijn Reijnders.

  The Tate Profile

  (slides, video)

  09:00 - 10:15 

  Symmetric-Key Cryptography and Attacks

  Chair: Nicky Mouha

  09:00  

  Simone Colombo and Damian Vizár.

  (Im)Possibility of Symmetric Encryption against Coordinated Algorithm Substitution Attacks and Key Exfiltration 

  (slides, video)

  09:25

  Orr Dunkelman.

  A Simple Forgery Attack on Pelican

  (slides, video)

  09:50

  Pierrick Méaux.

  From at Least $n/3$ to at Most $3\sqrt{n}$: Correcting the Algebraic Immunity of the Hidden Weight Bit Function 

  (slides, video)

  10:15 - 10:45

  Break

  10:45 - 11:35

  Machine Learning and Cryptanalysis

  Chair: Valerie Gauthier

  10:45 

  Emanuele Bellini, Rocco Brunelli, David Gerault, Anna Hambitzer and Marco Pedicini.

  Generic Partial Decryption as Feature Engineering for Neural Distinguishers 

  (slides, video)

  11:10

  Isaac Andres Canales Martinez and David Santos  

  Extracting Some Layers of Deep Neural Networks in the Hard-Label Setting 

  (slides, video)

  11:35 - 12:35

  Invited talk (Stéphane Labarthe): "(very) Applied cryptography from the ground  or How can cryptography be useful for Civil Society in LATAM” 

  (slides, video)

  12:35 - 14:05

  Lunch

  14:05 - 18:00

  Tribute to Alfred Menezes’ career and impact in cryptography (MenezesFest) 

  https://menezesfest.info/

  18:30 - 21:30

  Gala Dinner (Restaurant Hatoviejo Oviedo)

  09:00 - 09:50 

  Implementation and efficiency

  Chair: Akira Takahashi

  09:00  

  Armando Faz-Hernandez.

  Rhizomes and the Roots of Efficiency – Improving Prio 

  (slides, video)

  09:25

  Décio Luiz Gazzoni Filho, Rafael G. Flores E Silva, Alessandro Budroni, Marco Palumbi and Gora Adj.

  Runtime Code Generation for Constant-Time Secret-Indexed Array Accesses: Applications to PERK and NTRU

  (slides, video)  

  09:50 - 11:20

  Poster session (+ Break)

  11:20 - 11:45

  Cryptography and Collective Power

  Chair: Diego Aranha 

  11:20

  Leah Rosenbloom

  Cryptography and Collective Power

  (slides, video)

  11:45 - 12:45

  Invited talk (Mariana Raykova): How to Compute User Population Analytics Privately?

  12:45 - 13:45

  Lunch

  14:00 - EOD

  Excursion: visit coffee plantation in the outskirts of Medellín (bus departs from Eafit campus)