Rolfe Schmidt

Publication Activity (10 Years)

Years Active: 2024-2024
Publications (10 Years): 3

Top Topics

Key Agreement Protocol

Top Venues

IACR Cryptol. ePrint Arch.

USENIX Security Symposium

Publications

Karthikeyan Bhargavan, Charlie Jacomme, Franziskus Kiefer, Rolfe Schmidt
Formal verification of the PQXDH Post-Quantum key agreement protocol for end-to-end secure messaging. USENIX Security Symposium (2024)
Graeme Connell, Vivian Fang, Rolfe Schmidt, Emma Dauterman, Raluca Ada Popa
Secret Key Recovery in a Global-Scale End-to-End Encryption System. IACR Cryptol. ePrint Arch. 2024 (2024)
Graeme Connell, Vivian Fang, Rolfe Schmidt, Emma Dauterman, Raluca Ada Popa
Secret Key Recovery in a Global-Scale End-to-End Encryption System. OSDI (2024)