Protocol Design Courses
USENIX via YouTube Designing Verifiable Health Solutions for Global Pandemic
USENIX Enigma Conference via YouTube Moving Account Recovery Beyond Email and the Secret Question
USENIX Enigma Conference via YouTube Zip Code - Unpacking Data Compression
Strange Loop Conference via YouTube Distributed Quantum Sensing with Entangled Sensor Networks - Quntao Zhuang
Kavli Institute for Theoretical Physics via YouTube A Formal Treatment of Accountable Proxying over TLS
IEEE via YouTube FuturesMEX - Secure, Distributed Futures Market Exchange
IEEE via YouTube Protocol State Machines and Session Languages
IEEE via YouTube Security Analysis of the MLS Key Derivation
IEEE via YouTube Efficient Zero-Knowledge Proofs: A Modular Approach
Simons Institute via YouTube