CryptoVerif users

  1. Karthikeyan Bhargavan, Ricardo Corin and Cedric Fournet. Crypto-Verifying Protocol Implementations in ML. In Workshop on Formal and Computational Cryptography - FCC 2007.
  2. Karthikeyan Bhargavan, Ricardo Corin, Cédric Fournet, and Eugen Zalinescu. Cryptographically Verified Implementations for TLS. In Proceedings of the 15th ACM Conference on Computer and Communications Security (CCS'08), pages 459-468, October 2008. Available at http://www.msr-inria.inria.fr/projects/sec/fs2cv/index.html#tls.
  3. Aaron D. Jaggard, Andre Scedrov and Joe-Kai Tsay. Computationally Sound Mechanized Proof of PKINIT for Kerberos. In Workshop on Formal and Computational Cryptography - FCC 2007.
If you have written a research paper using CryptoVerif, and want it to be added to this page, or if you want the reference to your paper to be removed or corrected, please contact Bruno Blanchet.
Bruno Blanchet