publications
2025
-
ISSTAZTaint-Havoc: From Havoc Mode to Zero-Execution Fuzzing-Driven Taint Inference.ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2025)
-
ISSTARouthSearch: Inferring PID Parameter Specification for Flight Control Program by Coordinate Search.ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2025)
-
IEEE S&PEmpc: Effective Path Prioritization for Symbolic Execution with Path Cover.IEEE Symposium on Security and Privacy (S&P 2025)
2024
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)