Speaker:

Alex Ozdemir

Talk Title:

Security & Privacy Through Programmable Cryptography, Compilers, and Verification

Date and Location:

Thursday, March 6, 2025

Bahen Centre for Information Technology, BA 3200

This lecture is open to the public. No registration is required, but space is limited.

Abstract:

How can we build large applications that are secure and private? How can we balance complexity of the application's logic with the complexity of the cryptographic tools needed to achieve security?

In this talk, I will discuss an answer to this question: the **programmable cryptography stack**. A programmable cryptosystem allows a developer to build applications that securely compute over encrypted, secret, or distributed data. The programmable cryptography *stack* allows developers to express these secure applications using high level abstractions. I will discuss three of my contributions to the programmable cryptography stack in the domains of cryptography, compilers, and formal verification.

About Alex Ozdemir:

Alex Ozdemir is a PhD student at Stanford advised by Dan Boneh and Clark Barrett. His work combines ideas from cryptography, compilers, and verification to create tools for more private and secure applications.