Introduction| pq-crystals.org
Short URL: https://www.nist.gov/pqcrypto For a plain-language introduction to post-quantum cryptography, go to: What Is Post-Quantum Cryptography? The initial public draft of NIST SP 800-227, Recommendations for Key-Encapsulation Mechanisms, is now...| csrc.nist.gov
This document describes how to create and verify EdDSA-compatible signatures using public key and private key formats initially defined for the X25519 and X448 elliptic curve Diffie-Hellman functions.| Signal Messenger
ProVerif: Cryptographic protocol verifier in the formal model| bblanche.gitlabpages.inria.fr
CryptoVerif: Cryptographic protocol verifier in the computational model| bblanche.gitlabpages.inria.fr
The Double Ratchet algorithm is used by two parties to exchange encrypted messages based on a shared secret key.| Signal Messenger
This document describes the "X3DH" (or "Extended Triple Diffie-Hellman") key agreement protocol.| Signal Messenger