Formal verification of the PQXDH Post-Quantum key agreement protocol for end-to-end secure messaging

Formal verification of the PQXDH post-quantum key agreement protocol for end-to-end secure messaging. Published at USENIX Security 2024.