Introduction Specification language Translation Application Conclusion From CryptoVerif Specifications to Computationally Secure Implementations of Protocols Bruno Blanchet and David Cade INRIA, Ecole Normale Superieure, CNRS, Paris April 2012 Bruno Blanchet and David Cade (INRIA) CryptoVerif April 2012 1 / 30
- specification proved
- generate protocol
- protocol verification
- specification translated into
- introduction specification language
- computational f7
- implementations fs2pv
- cryptoverif