David Cadé

English version
Je suis un doctorant travaillant à l'INRIA Paris-Rocquencourt, dans l'équipe travaillant sur la sécurité informatique Prosecco sous la direction de Bruno Blanchet.

Publications

Proved Generation of Implementations from Computationally-Secure Protocol Specifications
Cette publication au journal JoWUA est un travail joint avec Bruno Blanchet, il étend l'article ARES.
Proved Generation of Implementations from Computationally-Secure Protocol Specifications
Cette publication à POST '13 est un travail joint avec Bruno Blanchet, il présente la preuve de correction de notre compilateur de spécifications CryptoVerif. Version longue avec les preuves.
From Computationally-proved Protocol Specifications to Implementations
Cette publication à ARES '12 est un travail joint avec Bruno Blanchet, il présente notre compilateur de spécifications CryptoVerif et une application à SSH.
From CryptoVerif Specifications to Computationally Secure Implementations of Protocols (Work in Progress)
Cette publication à FCC '09 est un résumé présentant le travail que j'ai effectué lors de mon stage de M2.
Traductions de spécifications en implémentations de protocoles
Ceci est mon rapport de stage de M2, sous la direction de Bruno Blanchet qui porte sur un compilateur qui traduit des spécifications de protocoles cryptographiques annotées en du code OCaml.
Isotopic Meshing of Intersection of Implicit Surfaces in Higher Dimension
Ceci est mon rapport de stage de M1, sous la direction de Gert Vegter, qui porte sur de la geométrie.
Réduction de réseaux euclidiens : vers un code fiable, souple et puissant
Ceci est mon rapport de stage de L3, sous la direction de Damien Stehlé, sur un wrapper autour de LLL en nombres flottants.

Contact

INRIA
23 avenue d'Italie
75013 Paris

E-mail: david<dot>cade<at>inria<dot>fr
Bureau: 5ème étage, bureau 13