Charlie Jacomme
Charlie Jacomme
Home
Publications
Teaching
Non Academic Materials
Contact
Light
Dark
Automatic
An interactive prover for protocol verification in the computational model
David Baelde
,
Stéphanie Delaune
,
Adrien Koutsos
,
Charlie Jacomme
,
Solène Moreau
January 2021
PDF
Cite
Type
Conference paper
Publication
IEEE Symposium on Security and Privacy (S&P'21)
Related
Automated Analysis of Protocols that use Authenticated Encryption: How Subtle AEAD Differences can impact Protocol Security
A comprehensive, formal and automated analysis of the EDHOC protocol
Formal Analysis of Session-Handling in Secure Messaging: Lifting Security from Sessions to Conversations
Hash Gone Bad: Automated discovery of protocol attacks that exploit hash function weaknesses
SAPIC+: protocol verifiers of the world, unite!
Cite
×