I'm a Senior Security Researcher at AWS. I received my PhD from the Cybersecurity & Privacy Institute at Northeastern University, where my research focused on programming languages and compilers.
My research interests are in program analysis, compiler design, and formal methods. Recently, I've been applying these techniques to WebAssembly — building tools for analyzing and transforming Wasm modules for security and correctness.
Recent News
September 5, 2024PatchCanary paper accepted at NSS 2024
June 7, 2024Work-in-Progress presented at FCS 2024
October 29, 2023Holepunch accepted at IEEE S&P 2024
December 15, 2022Solder accepted at SANER 2023
Selected Publications
- Ryan Williams, Anthony Gavazzi, Engin Kirda. Enhancing Network Security through Vulnerability Monitoring. NSS 2024. [PDF]
- Zachary Ratliff, Wittmann Goh, Abe Wieland, James Mickens, Ryan Williams. Holepunch: Fast, Secure File Deletion with Crash Consistency. IEEE S&P 2024.
- Ryan Williams, Anthony Gavazzi, Engin Kirda. Solder: Retrofitting Legacy Code with Cross-Language Patches. SANER 2023.
- Anthony Gavazzi, Ryan Williams, Engin Kirda, Long Lu, Andre King, Andy Davis, Tim Leek. A Study of Multi-Factor and Risk-Based Authentication Availability. USENIX Security 2023.