1. Learning to Detect Memory-related Vulnerabilities;ACM Transactions on Software Engineering and Methodology;2023-12-23
2. HWASanIO: Detecting C/C++ Intra-object Overflows with Memory Shading;Proceedings of the 12th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis;2023-06-06
3. Boosting Symbolic Execution for Heap-based Vulnerability Detection and Exploit Generation;2023 IEEE/ACM 45th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion);2023-05
4. Evaluating the Impact of Optimizations for Dynamic Binary Modification on 64-bit RISC-V;2023 IEEE International Symposium on Performance Analysis of Systems and Software (ISPASS);2023-04
5. Open Science in Software Engineering: A Study on Deep Learning-Based Vulnerability Detection;IEEE Transactions on Software Engineering;2023-04-01