Charlie Jacomme
Charlie Jacomme
Home
Publications
Teaching
Non Academic Materials
Contact
Light
Dark
Automatic
English
English
Français
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
×