David Cadé

Proved generation of implementations from computationally secure protocol specifications

Bruno Blanchet, David Cadé, 2015, J. Comput. Secur..

From Computationally-proved Protocol Specifications to Implementations

Bruno Blanchet, David Cadé, B. Blanchet, 2012, 2012 Seventh International Conference on Availability, Reliability and Security.

Proved generation of implementations from computationally secure protocol specifications

Bruno Blanchet, David Cadé, B. Blanchet, 2013, J. Comput. Secur..

New Software and Platforms - CryptoVerif

Bruno Blanchet, David Cadé, 2015 .

Proved Implementations of Cryptographic Protocols in the Computational Model. (Implémentations de protocoles cryptographiques prouvées dans le modèle calculatoire)

David Cadé, 2013 .

From Computationally-Proved Protocol Specifications to Implementations and Application to SSH

Bruno Blanchet, David Cadé, 2013, J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl..