Hacker News new | ask | show | jobs
by oittaa 978 days ago
“the first machine-checked post-quantum security proof of a real-world cryptographic protocol.”

https://twitter.com/signalapp/status/1715443920350416922