David Cadé
Version française
I am a PhD student working at LIENS, the computer science laboratory of the École Normale Supérieure, in the crypto team Cascade, and supervised by Bruno Blanchet.
Publications
-
From CryptoVerif Specifications to
Computationally Secure Implementations of Protocols (Work in Progress)
-
This has been published at FCC '09 and is an abstract presenting the work I did in my internship in 2009.
-
Traductions de spécifications en implémentations de protocoles
-
This is the report for my internship supervised by Bruno Blanchet in 2009.
-
Isotopic Meshing of Intersection of Implicit Surfaces
in Higher Dimension
-
This is the report for my internship supervised by Gert Vegter in 2008.
-
Réduction de réseaux euclidiens : vers un code
fiable, souple et puissant
-
This is the report for my internship supervised by Damien Stehlé in 2007.
Contact
École Normale Supérieure
Département d'Informatique
45, rue d'Ulm
75230 Paris Cedex 05 - France
E-mail: david.cade@ens.fr
Workplace: Open Space Crypto, 1er sous-sol, Aile Rataud 45 rue d'Ulm