Courses

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)