“the first machine-checked post-quantum security proof of a real-world cryptographic protocol.” https://twitter.com/signalapp/status/1715443920350416922 https:

“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