Formal verification of the PQXDH Post-Quantum key agreement protocol for end-to-end secure messaging. - Karthikeyan Bhargavan; Charlie Jacomme; Franziskus Kiefer; Rolfe Schmidt (USENIX Security Symposium, 2024)

Secret Key Recovery in a Global-Scale End-to-End Encryption System. - Graeme Connell; Vivian Fang; Rolfe Schmidt; Emma Dauterman; Raluca Ada Popa (IACR Cryptol. ePrint Arch., 2024)

Triple Ratchet: A Bandwidth Efficient Hybrid-Secure Signal Protocol. - Yevgeniy Dodis; Daniel Jost 001; Shuichi Katsumata; Thomas Prest; Rolfe Schmidt (IACR Cryptol. ePrint Arch., 2025)