David Cadé

Publications

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