HN
Hacker News
Top
New
Best
Ask
Show
Jobs
An Analysis of Signal's PQXDH | Hacker News Reader
An Analysis of Signal's PQXDH
cryspen.com
3 points
·
dm
·
·
1 comment
Open article
Save
View on HN
oittaa
·
“the first machine-checked post-quantum security proof of a real-world cryptographic protocol.”
https://twitter.com/signalapp/status/1715443920350416922
Reply on news.ycombinator.com