Here you can find classes I’ve taught and talks I’ve given. This site is currently under construction and some talks are listed with missing slides. These will be updated as the site is finished.

Teaching

CS 355: Topics in Cryptography

Website: https://crypto.stanford.edu/cs355/22sp/

Stanford students have been behind some of the most important developments in modern cryptography, including Diffie-Hellman key exchange, Merkle trees, ElGamal encryption, and fully homomorphic encryption. With this history in mind, CS355 will cover many of the foundational techniques that you will need to get started with crypto research and to go on to solve the field’s great open problems. It will also introduce you to the joy of cryptography research and give you a taste of the lastest developments in cryptography. By the time you finish this course, you should understand the most important cryptographic tools and be able to use them. We will cover basic proof techniques, zero knowledge, multiparty computation, elliptic-curve cryptography, cryptanalysis, privacy, and post-quantum cryptography.

Role: Instructor

CS 255: Introduction to Cryptography

Website: https://crypto.stanford.edu/~dabo/courses/cs255_winter21/

Cryptography is an indispensable tool for protecting information in computer systems. This course explains the inner workings of cryptographic primitives and how to use them correctly.

Role: Head TA

Getting Started in CS

Website: /

Brief collection of talks at rural high schools in WI to introduce kids to programming that would not otherwise have the opportunity to learn the subject.

Role: Instructor

Talks

Do Programmers Write More Insecure Code with AI Assistants? (Short Version)

Location: Stanford Security Forum (Palo Alto 2023), AISoLA (Crete 2023)

View Slides

Do Programmers Write More Insecure Code with AI Assistants? (Long Version)

Location: Berkeley 2023

View Slides

Applying Cryptography to Arms Control

Location: Clear Ventures Keynote (Palo Alto 2023)

View Slides

Proof-of-Concept Demonstration of a New Methodology for Secure Nuclear Warhead Data Exchanges to Support a Verifiable Nuclear Warhead Arms Control Treaty

Location: Washington DC 2022

View Slides