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.
by Takashi Yamakawa and Mark Zhandry
All Proof of Work But No Proof of Play
by Hayder Tirmazi
Ideally HAWKward: How Not to Break Module-LIP
by Clémence Chevignard and Guilhem Mureau
​​​
The Program
9:30 - 9:45 Opening remarks
9:45 - 10:15 On Collision Resistance from Group Actions, by Takashi Yamakawa and Mark Zhandry
10:15 - 10:45 Coffee break
10:45 -11:15 All Proof of Work But No Proof of Play, by Hayder Tirmazi
11:15 - 11:45 Ideally HAWKward: How Not to Break Module-LIP, by Clémence Chevignard and Guilhem Mureau
11:45 - 12:45 CFAIL Puzzle Challenge, Part I
12:45 - 14:05 Lunch break
14:05 - 15:05 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:05 - 16:30 CFAIL Puzzle Challenge, Part II
16:30 - 16:35 Concluding remarks