Conference Talk, ACM Conference on Computer and Communications Security (CCS 2025), Kobe, Japan
Automatically infers syscall specifications for Linux kernel drivers using under-constrained symbolic execution, winning Distinguished Paper at CCS 2025.
Invited Talk, AGI Leap Summit 2024, Online
Presents E&V, a novel approach that prompts LLMs to perform static analysis via pseudo-code execution and verification.
Invited Talk, Symposium on the Science of Security (SoS 2024), Online
Presents E&V, a novel approach that prompts LLMs to perform static analysis via pseudo-code execution and verification.
Conference Talk, IEEE Symposium on Security and Privacy (S&P 2023), San Francisco, CA, USA
Pioneers principled static analysis to automatically generate syscall descriptions for Linux kernel drivers, enabling targeted driver fuzzing.
Invited Talk, Linux Security Summit North America (LSS-NA 2023), Vancouver, Canada
Pioneers principled static analysis to automatically generate syscall descriptions for Linux kernel drivers, enabling targeted driver fuzzing.
Invited Talk, Qualcomm Product Security Summit 2023, San Diego, CA, USA
Pioneers principled static analysis to automatically generate syscall descriptions for Linux kernel drivers, enabling targeted driver fuzzing.
Conference Talk, IEEE/ACM International Conference on Software Engineering (ICSE 2022), Pittsburgh, PA, USA
Systematically studies the dependency challenge in kernel fuzzing — code locked behind kernel states that fuzzers struggle to reach.