Talks and presentations
2024
E\&V: Prompting Large Language Models to Perform Static Analysis by Pseudo-code Execution and Verification
AGI Leap Summit 2024
Website
Symposium on the Science of Security, HoTSoS 2024
WebsiteSyzDescribe: Principled, Automated, Static Generation of Syscall Descriptions for Kernel Drivers
Linux Security Summit North America 2023
Website
Slides
YouTube
Qualcomm Product Security Summit 2023
Website
44th IEEE Symposium on Security and Privacy, S&P 2023
Website
YouTube
Symposium on the Science of Security, HoTSoS 2024
Website
