Prospector: Boosting Directed Greybox Fuzzing for Large-Scale Target Sets with Iterative Prioritization.
Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2024
Sleuth: A Switchable Dual-Mode Fuzzer to Investigate Bug Impacts Following a Single PoC.
Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2024
KPDFI: Efficient data flow integrity based on key property against data corruption attack.
Comput. Secur., May, 2023
Binary-level Directed Symbolic Execution Through Pattern Learning.
Proceedings of the IEEE Intl Conf on Parallel & Distributed Processing with Applications, 2022
An Efficient Metric-Based Approach for Static Use-After-Free Detection.
Proceedings of the IEEE Intl Conf on Parallel & Distributed Processing with Applications, 2022
MVDetecter: Vulnerability Primitive-based General Memory Vulnerability Detection.
Proceedings of the IEEE Intl Conf on Parallel & Distributed Processing with Applications, 2022
Accelerating Data-Flow Analysis with Full-Partitioning.
Proceedings of the 2021 IEEE Intl Conf on Parallel & Distributed Processing with Applications, Big Data & Cloud Computing, Sustainable Computing & Communications, Social Computing & Networking (ISPA/BDCloud/SocialCom/SustainCom), New York City, NY, USA, September 30, 2021