Hey, a new episode! We had a fantastic conversation with Jason Donenfeld, creator of our favorite modern VPN protocol: WireGuard! We touched on kernel hacking, formal verification, post-quantum cryptography, developing with disassemblers, and more!

Transcript:
https://securitycryptographywhatever.com/2021/12/05/wireguard-with-jason-donenfeld/

Links: 

• WireGuard: https://www.wireguard.com
• Tamarin: https://tamarin-prover.github.io
• IDApro: https://hex-rays.com/ida-pro
• NIST PQC: https://csrc.nist.gov/projects/post-quantum-cryptography/round-3-submissions
• WireGuard Patreon: https://www.patreon.com/zx2c4

"Security Cryptography Whatever" is hosted by Deirdre Connolly (@durumcrustulum), Thomas Ptacek (@tqbf), and David Adrian (@davidcadrian)