David Cadé

Publication Activity (10 Years)

Years Active: 2012-2015
Publications (10 Years): 1

Top Topics

Secure Multi Party

Password Authentication

Protocol Specification

Top Venues

J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl.

J. Comput. Secur.

Paris Diderot University, France (PHD)

Education History

Paris Diderot University, France

PHD

Publications

David Cadé, Bruno Blanchet
Proved generation of implementations from computationally secure protocol specifications. J. Comput. Secur. 23 (3) (2015)
David Cadé, Bruno Blanchet
Proved Generation of Implementations from Computationally Secure Protocol Specifications. POST (2013)
David Cadé, Bruno Blanchet
From Computationally-Proved Protocol Specifications to Implementations and Application to SSH. J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl. 4 (1) (2013)
David Cadé, Bruno Blanchet
From Computationally-proved Protocol Specifications to Implementations. ARES (2012)