Section: Overall Objectives

Highlights

Our work on formal proofs for cryptography now receives attention in best conferences of specialists of that domain.

Best Paper Award :

[11] Computer-Aided Security Proofs for the Working Cryptographer in Advances in Cryptology - CRYPTO 2011 - 31st Annual Cryptology Conference, Santa Barbara, CA, USA, August 14-18, 2011. Proceedings.

G. Barthe, B. Grégoire, S. Heraud, S. Zanella Béguelin.