– “Automatic Techniques to Systematically Discover New Heap Exploitation Primitives”, Usenix Security 2020
– “QSYM: A Practical Concolic Execution Engine Tailored for Hybrid Fuzzing”, Usenix Security 2018
– “APISan: Sanitizing API Usages through Semantic Cross-checking”, Usenix Security 2016
