SERIES // POST-QUANTUM CRYPTOGRAPHY · ENGINEERING COURSE · 18 OF 18 PARTS PUBLISHED

Post-Quantum Cryptography
An Engineering Course.

From the first cryptographic primitive to a migration you can measure. Eighteen parts, read in order or by prerequisite: cryptography foundations, the quantum threat model with real resource estimates, the mathematics of lattices and codes, deep dives into ML-KEM/ML-DSA/SLH-DSA and the algorithms beyond them, hybrid TLS and X.509 trust, implementation security, performance engineering, a reproducible hands-on lab, and migration engineering grounded in real deployment case studies. Every current-state claim is sourced to a primary FIPS, RFC, or vendor engineering post — not a press summary.

18 parts
57k words
3 final FIPS standards
complete status

Course

All 18 parts, in reading order

Each part is self-contained but assumes the previous ones. Start at Part 1 if you're new to PQC.

01

Post-Quantum Cryptography in the Current Landscape

Why migration urgency doesn't require a working quantum computer yet (harvest-now-decrypt-later), what NIST has actually finalized (FIPS 203/204/205) vs. what's still draft, and the four separate questions hiding inside "is this quantum-safe."

beginner 19 min
02

The Cryptography You Need Before Learning PQC

Build the vocabulary of hashes, MACs, AEAD, key derivation, public keys, signatures, certificates, and TLS — with small reproducible experiments.

beginner 19 min
03

How Quantum Algorithms Threaten Classical Public-Key Cryptography

Understand Shor, Grover, resource estimates, and harvest-now-decrypt-later without confusing mathematical algorithms with machines that already exist.

beginner 20 min
04

Mathematics Primer for Post-Quantum Cryptography

Small worked examples of modular arithmetic, vectors, noise, polynomial rings, coding theory, and modern cryptographic security games.

intermediate 18 min
05

The Map of Post-Quantum Cryptographic Families

Compare lattices, codes, hash-based signatures, multivariate systems, proof-derived signatures, and isogenies by assumptions and engineering tradeoffs.

intermediate 17 min
06

Lattice Cryptography: From LWE to Module-LWE

Derive noisy-linear-system encryption, distinguish LWE and Module-SIS, and understand polynomial multiplication and NTT butterflies through checked examples.

intermediate 16 min
07

ML-KEM / FIPS 203 Deep Dive

Follow ML-KEM from noisy polynomial encryption to chosen-ciphertext-secure key establishment, exact parameter sizes, implicit rejection, and a tested OpenSSL lab.

intermediate 14 min
08

ML-DSA / FIPS 204 Deep Dive

Understand Fiat–Shamir with aborts, ML-DSA parameter sizes, message contexts, hedged signing, and a reproducible sign-and-verify experiment.

intermediate 15 min
09

SLH-DSA / FIPS 205 and Hash-Based Signatures

Build intuition from Lamport signatures and Merkle paths to WOTS+, FORS, stateless hypertrees, exact SLH-DSA sizes, and limited-use draft parameters.

intermediate 15 min
10

FN-DSA, HQC, and Algorithms Beyond the First Three Standards

Evaluate Falcon's compact lattice signatures, HQC's code-based diversity, Classic McEliece, and the additional-signature process without confusing candidates with final standards.

intermediate 15 min
11

Hybrid Post-Quantum Cryptography and TLS 1.3

Trace standardized ML-KEM hybrid groups through TLS 1.3, exact share ordering, negotiation, retry behavior, transport costs, and a verified local OpenSSL exchange.

advanced 14 min
12

PQC in PKI, X.509, Certificates, and Digital Trust

Separate certificate keys from issuer signatures, understand RFC 9881 ML-DSA encodings, test a local chain, and plan CA, revocation, artifact-signing, and long-term trust migration.

advanced 15 min
13

Secure PQC Implementations: Side Channels, Faults, Randomness, and Verification

Build an assurance argument across constant-time code, decapsulation behavior, physical attacks, randomness, memory safety, test vectors, fuzzing, and scoped formal verification.

advanced 16 min
14

PQC Performance Engineering

Measure post-quantum operations and complete handshakes honestly: exact wire sizes, local OpenSSL observations, CPU and memory boundaries, concurrency, and reproducible benchmark design.

advanced 14 min
15

Hands-On PQC Lab for Engineers

Reproduce the course's native OpenSSL experiments with a checksum-pinned build, disposable keys, automated negative tests, local TLS, a container recipe, and CI.

advanced 14 min
16

Migration Engineering and Cryptographic Agility

Turn PQC migration into an owned program: inventory, data-lifetime risk, dependencies, protocol profiles, canaries, rollback, evidence, and a practical maturity model.

advanced 15 min
17

Real-World PQC Deployments and Engineering Lessons

Read Chrome, Cloudflare, AWS, Signal, Apple, and OpenSSH deployment accounts critically: exact mechanisms, rollout boundaries, compatibility, ratcheting, and evidence.

advanced 14 min
18

The Complete PQC Learning Roadmap and Resource Compendium

A seven-stage PQC learning path with 30 resource sections, primary standards, books, lectures, papers, tools, projects, and concrete 30-day, 90-day, and six-month plans.

advanced 17 min

Extra

Companion surveys

Two standalone reference pieces alongside the 18-part course, useful as a single-page refresher once you've read the parts they summarize.