Formal verification of the PQXDH Post-Quantum key agreement protocol for end-to-end secure messaging.
Karthikeyan BhargavanCharlie JacommeFranziskus KieferRolfe SchmidtPublished in: USENIX Security Symposium (2024)
Keyphrases
- end to end
- key agreement protocol
- formal verification
- model checking
- diffie hellman
- provably secure
- key distribution
- key agreement
- fault tolerant
- key management
- ad hoc networks
- wireless ad hoc networks
- standard model
- multipath
- encryption scheme
- congestion control
- secure communication
- response time
- group communication
- multi hop
- public key
- channel capacity
- energy consumption