A computationally sound mechanized prover for security protocols
By Bruno Blanchet. IEEE Symposium on Security and Privacy, 2006
351 citations recorded by the source corpus.
Subfields: Artificial Intelligence, Computer Networks and Communications, Information Systems
View Paper: https://www.semanticscholar.org/paper/888a7a69ac4ba90b8ece81ad3fe37c7441345233
How researchers see this paper
The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.
In Artificial Intelligence
- Gilles Barthe
- Santiago Zanella-B'eguelin
- Benjamin Gr'egoire
- Ahmad-Reza Sadeghi
- Thomas Schneider
- Manuel Barbosa
- Sylvain Heraud
- David E. Evans
In Computer Networks and Communications
- Gilles Barthe
- Ahmad-Reza Sadeghi
- Santiago Zanella-B'eguelin
- Thomas Schneider
- Benjamin Gr'egoire
- Sylvain Heraud
- Michael Backes
- Federico Olmedo
In Information Systems
- Gilles Barthe
- Santiago Zanella-B'eguelin
- Thomas Schneider
- Ahmad-Reza Sadeghi
- Benjamin Gr'egoire
- Manuel Barbosa
- Sylvain Heraud
- Michael Backes
Citations in the corpus
- A Certifying Compiler for Zero-Knowledge Proofs of Knowledge Based on Sigma-Protocols (2010, background): “computational models) in ProVerif [38] (resp. CryptoVerif [ 39 ]), can be found.”
- Formal certification of code-based cryptographic proofs (2009, background): “Consequently, some authors attempt to provide guarantees directly at the computational level [12, 25, 30].”
- Computer-Aided Security Proofs for the Working Cryptographer (2011, methodology): “CryptoVerif [11] is a tool for conducting security proofs in a game-based setting in which games are modeled as processes and transitions are justified by means of process-algebraic concepts such as bisimulations.”