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

A A

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]

Events