Charlie Jacomme
Charlie Jacomme
Home
Publications
Teaching
Non Academic Materials
Contact
An interactive prover for protocol verification in the computational model (To appear)
David Baelde
,
Stéphanie Delaune
,
Adrien Koutsos
,
Charlie Jacomme
,
Solène Moreau
January 2021
Cite
Type
Conference paper
Publication
IEEE Symposium on Security and Privacy (S&P'21)
Related
An extensive formal analysis of multi-factor authentication protocols
Proofs of Security Protocols - Symbolic Methods and Powerful Attackers
Oracle simulation: a technique for protocol composition with long term shared secrets
Universal equivalence and majority on probabilistic programs over finite fields
Symbolic methods in computational cryptography proofs
Cite
×