Charlie Jacomme
Charlie Jacomme
Home
Open Positions
Teaching
Non Academic Materials
Contact
Light
Dark
Automatic
Post-quantum sound CryptoVerif and verification of hybrid TLS and SSH key-exchanges
Bruno Blanchet
,
Charlie Jacomme
January 2024
PDF
Cite
Type
Conference paper
Publication
Proceedings of the 37th IEEE Computer Security Foundations Symposium (CSF'24)
Related
Formal verification of the PQXDH Post-Quantum key agreement protocol for end-to-end secure messaging
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
×