Courses

Fall 2025: CSCI 4907/6545 Software Security
Spring 2025: CSCI 4531/6531 Computer Security
Fall 2024: CSCI 4907/6545 Software Security

Tutorials

Making C Programs Safer with Checked C
With Yudi Yang, Michael Hicks, and John Criswell
PLDI 2022 (abstract | slides), SecDev 2021 (abstract | slides)