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)