Charlie Jacomme
Charlie Jacomme
Home
Open Positions
Teaching
Non Academic Materials
Contact
Light
Dark
Automatic
Subversion-resilient Key-exchange in the Post-quantum World
Kévin Duverger
,
Pierre-Alain Fouque
,
Charlie Jacomme
,
Guilhem Niot
,
Cristina Onete
October 2025
Cite
URL
Type
Conference paper
Publication
CCS 2025 - 32nd ACM Conference on Computer and Communications Security
Add the
full text
or
supplementary notes
for the publication here using Markdown formatting.
Related
Token Weaver: Privacy Preserving and Post-Compromise Secure Attestation
Formal verification of the PQXDH Post-Quantum key agreement protocol for end-to-end secure messaging
Post-quantum sound CryptoVerif and verification of hybrid TLS and SSH key-exchanges
A comprehensive, formal and automated analysis of the EDHOC protocol
Formal Analysis of Session-Handling in Secure Messaging: Lifting Security from Sessions to Conversations
Cite
×