Charlie Jacomme
Charlie Jacomme
Home
Open Positions
Teaching
Non Academic Materials
Contact
Light
Dark
Automatic
Formal Analysis of Session-Handling in Secure Messaging: Lifting Security from Sessions to Conversations
Cas Cremers
,
Charlie Jacomme
,
Aurora Naska
January 2023
PDF
Cite
Type
Conference paper
Publication
USENIX Security Symposium (USENIX Security), 2023
Related
Token Weaver: Privacy Preserving and Post-Compromise Secure Attestation
Hash Gone Bad: Automated discovery of protocol attacks that exploit hash function weaknesses
A Logic and an Interactive Prover for the Computational Post-Quantum Security of Protocols
Automated Analysis of Protocols that use Authenticated Encryption: How Subtle AEAD Differences can impact Protocol Security
Subversion-resilient Key-exchange in the Post-quantum World
Cite
×