Charlie Jacomme
Charlie Jacomme
Home
Open Positions
Teaching
Non Academic Materials
Contact
Light
Dark
Automatic
Hash Gone Bad: Automated discovery of protocol attacks that exploit hash function weaknesses
Vincent Cheval
,
Cas Cremers
,
Alexander Dax
,
Lucca Hirschi
,
Charlie Jacomme
,
Steve Kremer
January 2023
PDF
Cite
Type
Conference paper
Publication
USENIX Security Symposium (USENIX Security), 2023
🏆
Distinguished Paper Award
Related
SAPIC+: protocol verifiers of the world, unite!
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
Universal Equivalence and Majority of Probabilistic Programs over Finite Fields
Cite
×