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

Authors: 

Karthikeyan Bhargavan, Cryspen; Charlie Jacomme, Université de Lorraine, LORIA, Inria Nancy Grand-Est; Franziskus Kiefer, Cryspen; Rolfe Schmidt, Signal Messenger