Program of FCC

Tuesday, July 20th

Tuesday's program is also available with abstracts and side by side with other events.

09:00‑10:00 Invited Talk
Chair: Cédric Fournet
Location: AT 2.12
09:00 Dennis Hofheinz
Public key encryption schemes with special properties
10:30‑12:30 Computational Soundness
Location: AT 2.12
10:30 Catherine Meadows and Dusko Pavlovic
A Framework for Extending Algebraic to Computational Reasoning in Cryptographic Protocol Analysis
11:00 Dominique Unruh
Computational Soundness of Hash Functions
11:30 Steve Kremer, Hubert Comon-Lundh and Joe-Kai Tsay
Modular Soundness Proofs via Deduction Games (work in progress)
12:00 Ralf Kuesters and Max Tuengerthal
Ideal Key Derivation and Encryption in Simulation-based Security
14:00‑15:00 Automated Proofs
Chair: Ralf Kuesters
Location: AT 2.12
14:00 Gilles Barthe, Benjamin Gregoire, Daniel Hedin, Sylvain Heraud and Santiago Zanella Béguelin
Towards automating code-based game-based cryptographic proofs
14:30 Bruno Blanchet and David Pointcheval
The computational and decisional Diffie-Hellman assumptions in CryptoVerif
15:30‑16:30 Protocol Logics
Chair: Dominique Unruh
Location: AT 2.12
15:30 Gergei Bana, Koji Hasebe and Mitsuhiro Okada
Secrecy-Oriended, Computationally Sound First-Order Logical Analysis of Cryptographic Protocols
16:00 Pedro Adao and Gergei Bana
Logical Proofs of Authentication Protocols and Type-Flaw Attacks