Events

15 March 2011

David Cade speaks on his recent work on From CryptoVerif Specifications to Computationally Secure Implementations of Protocols.

Bât. I. 1st floor
Microsoft Research – Inria Joint Centre
Parc Orsay Université

From CryptoVerif Specifications to Computationally Secure Implementations of Protocols
David Cadé, ENS

[joint work with Bruno Blanchet]