Credential Verification
Confirm a graduate's completion of Applied Cryptography cryptographically, and entirely in your browser.
Ed25519-signed
Verified in-browser
Privacy-preserving
Confirm a graduate's completion of Applied Cryptography cryptographically, and entirely in your browser.
Verification
Paste the certificate token below, or open the link inside its QR code.
§ The Credential
Applied Cryptography is a rigorous, graduate-level course in modern cryptography. Across two parts and eighteen topics, it builds from the foundations of provable security to the cryptography that secures the real world — TLS, the Signal protocol, post-quantum key exchange, high-assurance verified implementations, and zero-knowledge proofs.
A certificate is awarded only to students who complete the course with a final grade of 80 out of 100 or higher.
Part I
Perfect secrecy and Kerckhoffs' principle, pseudorandomness, chosen-plaintext and chosen-ciphertext security, collision-resistant hashing, Diffie–Hellman, and elliptic curves with digital signatures.
Part II
Transport Layer Security, secure messaging and the Signal protocol, end-to-end encrypted cloud storage, high-assurance verified cryptography, post-quantum cryptography, and zero-knowledge proofs.
§ The Issuer
Applied Cryptography is taught by Dr. Nadim Kobeissi and published by Symbolic Software, a cryptography research and software house specializing in the formal verification of cryptographic protocols and high-assurance implementations.
A cryptography researcher and Symbolic Software's founder, Dr. Kobeissi is a senior cryptography auditor at Cure53, where he has helped audit over 300 real-world cryptographic systems. He holds a Ph.D. in applied cryptography from Université PSL in Paris, and has taught at the American University of Beirut and New York University.
§ Assurance
Every certificate carries a digital signature created with the course's Ed25519 private key. This page holds only the matching public key and checks the signature entirely in your browser. Nothing is uploaded, no record of your lookup is kept, and this site never holds a list of students.
Issuer key fingerprint:
A genuine certificate verifies against this key. You can cross-check the fingerprint against the one published in the course syllabus.