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 |