3 ms·
An Analysis of Signal's PQXDH
- oittaa 3y ago“the first machine-checked post-quantum security proof of a real-world cryptographic protocol.” https://twitter.com/signalapp/status/1715443920350416922 https://twitter.com/signalapp/status/1715443920350416922