Project Team Marelle

Members
Overall Objectives
Scientific Foundations
Application Domains
Software
New Results
Partnerships and Cooperations
Dissemination
Bibliography
PDF e-pub XML


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.