Live data from Hacker News

An Analysis of Signal's PQXDH

Post reply on HN

Print view View original

1–2 of 2 posts

An Analysis of Signal's PQXDH

#1

Post by dm » Fri, Oct 20, 2023, 7:07 PM UTC

An Analysis of Signal's PQXDH
cryspen.com

Re: An Analysis of Signal's PQXDH

#2

Post by oittaa » Fri, Oct 20, 2023, 8:18 PM UTC

“the first machine-checked post-quantum security proof of a real-world cryptographic protocol.”

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

Post reply on HN