publications
2024
- CCSFOX: Coverage-guided Fuzzing as Online Stochastic ControlACM SIGSAC Conference on Computer and Communications Security (CCS 2024)Second Place in SBFT 2024 Fuzzing Competition
2023
- IEEE S&PPrecise Detection of Kernel Data Races with Probabilistic Lockset Analysis.IEEE Symposium on Security and Privacy (S&P 2023)
2022
2021
- SecurityFine Grained Dataflow Tracking with Proximal GradientsUSENIX Conference on Security Symposium (Security 2021)
2020
- IEEE S&PNeutaint: Efficient Dynamic Taint Analysis with Neural NetworksIEEE Symposium on Security and Privacy (S&P 2020)
2019
2016
- CCSAndroid ION Hazard: The Curse of Customizable Memory Management SystemACM SIGSAC Conference on Computer and Communications Security (CCS 2016)
2015
- CCSAndroid Root and Its Providers: A Double-Edged SwordACM SIGSAC Conference on Computer and Communications Security (CCS 2015)