List of talks
Spring School
In addition of the 6 tutorials, there are 2 talks (tentatively 40 min each):
French-Japanese collaboration workshop
In addition of the two invited talks given by Yassine Lakhnech and Tatsuaki Okamoto, there are also several regular talks. Each speaker will have a
slot of 25 min to present his work. Please keep 5 min at the end of your talk to answer some questions.
- Computational Soundness for Key Exchange Protocols with Symmetric Encryption
Ralf Kusters and Max Tuengerthal
- Proving Computational Soundness of the Applied Pi-Calculus without Using Computable Parsing
Hubert Comon-Lundh, Masami Hagiya, Yusuke Kawamoto, and Hideki Sakurada
- Computational soundness of the symbolic XOR in presence of active attacker
Hideki Sakurada , Yusuke Kawamoto, and Masami Hagiya
- Application of Polynomially Accurate Simulation Relations to a Proof of UC Security:
A Case Study of Group Key Exchange
Tadashi Araragi and Tadahiko Ito
- All-or-Nothing Property for Efficient Symbolic Analysis
Maki Yoshida and Toru Fujiwara
- A calculus for game-based security proofs
David Nowak and Yu Zhang
- Robustness Guarantees for Anonymity
Gilles Barthe, Alejandro Hevia, Zhengqin Luo,T amara Rezk, and Bogdan Warinschi
- Verifying Security APIs by Typing
Graham Steel
- Modular Soundness Proofs via Deduction Games
Hubert Comon-Lundh, Steve Kremer, and Joe-Kai Tsay
- Ideal Key Derivation and Encryption in Simulation-based Security
Ralf Kusters and Max Tuengerthal
- Automatic, computational proof of EKE using CryptoVerif
Bruno Blanchet
- Smooth Projective Hash Functions and Security against Adaptive
Corruptions
David Pointcheval
- Universally Composable Symbolic Analysis of Diffie-Hellman Key
Exchange and Certification
Ran Canetti and Sebastian Gajek
- Protocol composition for arbitrary primitives
Stefan Ciobaca and Veronique Cortier
- Secrecy-Oriended First-Order Logical Analysis of Cryptographic Protocols
Gergei Bana, Koji Hasebe, and Mitsuhiro Okada
- Protocol Composition Logic
Stephan Stiller
- Simulation based security in the applied pi calculus
Stephanie Delaune, Steve Kremer, and Olivier Pereira