Acerca de
CFAIL 2025:
CFAIL 2025 will take place on Saturday, August 16, 2025 as an affiliated workshop to Crypto 2025.
Many thanks to Ellen Kolesnikova for making this year's logo! And to Eli Goldin for co-designing our puzzle competition!
The Extended Abstracts
On Collision Resistance from Group Actions. (pdf)
by Takashi Yamakawa and Mark Zhandry
All Proof of Work But No Proof of Play (eprint)
by Hayder Tirmazi
Ideally HAWKward: How Not to Break Module-LIP (eprint)
by Clémence Chevignard and Guilhem Mureau
The Program
In Corwin East:
9:30 - 9:45 Opening remarks
9:45 - 10:15 On Collision Resistance from Group Actions, by Takashi Yamakawa and Mark Zhandry (pdf)
10:15 - 10:50 Coffee break
10:50 -11:20 All Proof of Work But No Proof of Play, by Hayder Tirmazi (eprint)
11:20 - 11:50 Ideally HAWKward: How Not to Break Module-LIP, by Clémence Chevignard and Guilhem Mureau
11:50 - 12:30 CFAIL Puzzle Challenge, Part I
12:30 - 14:05 Lunch break
14:05 - 15:10 Invited Talk: I don't think it means what you think it means: 25 years of trying to formalize UC security, by Ran Canetti
15:10 - 15:50 Coffee break
15:50 - 16:40 CFAIL Puzzle Challenge, Part II
16:40 - 16:45 Concluding remarks
17:00 - 20:00 Reception (Lagoon plaza outside Corwin) and Powerpoint Karaoke Competition (Corwin West)
The CFAIL 2026 Program Committee
Karen Azari, University of Vienna
Ward Beullens, IBM Research
Allison Bishop, Proof Trading and City College, CUNY (General Chair)
Sofía Celi, Brave Software
Kai-Min Chung, Academia Sinica
Jack Doerner, University of Virginia
Benjamin Dowling, King's College London
Muhammed F. Esgin, Monash University
Eli Golden, NYU (Program Chair)
Peter Hall, NYU
Ariel Hamlin, Northeastern University
Dakshita Khurana, UIUC
Michael Klooß, Karlsruhe Institute of Technology
Marina Krček, Radboud University
Eysa Lee, Barnard College (Program Chair)
Alex Lombardi, Princeton University
George Lu, UT Austin
Tomoyuki Morimae, Kyoto University
Nicky Mouha, NIST
Ngoc Khanh Nguyen, King's College London (Program Chair)
Jeongeun Park, NTNU
Chris Peikert, University of Michigan
LaKyah Tyner, Northeastern University
Takashi Yamakawa, NTT Japan
Mark Zhandry, NTT and Stanford University