Email or username:

Password:

Forgot your password?
Signal

Our quantum-resistant protocol upgrade, PQXDH, is now โ€œthe first machine-checked post-quantum security proof of a real-world cryptographic protocol.โ€

Thanks to the researchers who did this important formal verification! Read more from them here๐Ÿ‘‡

cryspen.com/post/pqxdh/

3 comments
Go Up