Charlie Jacomme
Charlie Jacomme
Home
Publications
Teaching
Non Academic Materials
Contact
Light
Dark
Automatic
A Logic and an Interactive Prover for the Computational Post-Quantum Security of Protocols
Cas Cremers
,
Caroline Fontaine
,
Charlie Jacomme
January 2022
PDF
Cite
Type
Conference paper
Publication
Proceedings of the 43nd IEEE Symposium on Security and Privacy (S&P'22)
Related
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
Subterm-based proof techniques for improving the automation and scope of security protocol analysis
A comprehensive, formal and automated analysis of the EDHOC protocol
SAPIC+: protocol verifiers of the world, unite!
Cite
×