Charlie Jacomme
Charlie Jacomme
Home
Publications
Teaching
Non Academic Materials
Contact
Light
Dark
Automatic
Oracle simulation: a technique for protocol composition with long term shared secrets
Hubert Comon
,
Charlie Jacomme
,
Guillaume Scerri
November 2020
PDF
Cite
Long Version
Type
Conference paper
Publication
Proceedings of the 27st ACM Conference on Computer and Communications Security (CCS'20)
Related
Symbolic Models for Isolated Execution Environments
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
×