Document Actions

David Cade (seminar)

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

Tuesday 15 March 2011, 11h
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]

Personal tools