Charlie Jacomme
Charlie Jacomme
Home
Open Positions
Teaching
Non Academic Materials
Contact
Light
Dark
Automatic
Token Weaver: Privacy Preserving and Post-Compromise Secure Attestation
Cas Cremers
,
Gal Horowitz
,
Charlie Jacomme
,
Eyal Ronen
January 2025
Cite
Type
Conference paper
Publication
2025 IEEE Symposium on Security and Privacy (SP)
Add the
full text
or
supplementary notes
for the publication here using Markdown formatting.
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
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
×