Transcript with Martin Hellman on Diffie-Hellman, digital signatures, and the NSA's long allergy to public crypto.

Long explainer tying Enigma and the bombe to quantum threats against RSA, ECC, and DH, because keys are only aspirational.

Auto-generates Tamarin models from a DSL and ties them back to code, because hand-writing protocol proofs was still too pleasant.