CryptoDB
An Analysis of Signal's PQXDH
| Authors: | |
|---|---|
| Download: | |
| Presentation: | Slides |
| Abstract: | In this talk, we describe PQXDH, a new post-quantum key agreement protocol deployed by Signal, its formal analysis using the ProVerif and CryptoVerif protocol analysis tools, and how this analysis influenced version 2 of PQXDH. We focus on the lessons learned in this process and how formal verification can be a powerful tool in an industrial setting. The talk will be given jointly by Rolfe Schmidt and Karthikeyan Bhargavan. |
| Video: | https://www.youtube.com/watch?v=Zevny4ePKCk |
BibTeX
@misc{rwc-2024-35363,
title={An Analysis of Signal's PQXDH},
note={Video at \url{https://www.youtube.com/watch?v=Zevny4ePKCk}},
howpublished={Talk given at RWC 2024},
author={Karthikeyan Bhargavan and Charlie Jacomme and Franziskus Kiefer and Rolfe Schmidt},
year=2024
}