发表论文
(1) Exploiting the Trust Between Boundaries: Discovering Memory Corruptions in Printers via Driver Assisted Testing, The 21st ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES 2020), 2020, 第 9 作者(2) A Large-Scale Empirical Study on Vulnerability Distribution within Projects and the Lessons Learned, 42nd International Conference on Software Engineering (ICSE 2020), 2020, 第 8 作者(3) MVP: Detecting Vulnerabilities using Patch-Enhanced Vulnerability Signatures, 29th USENIX Security Symposium (USENIX Security '20), 2020, 通讯作者(4) 一种针对网络设备的已知漏洞定位方法, 信息安全学报, 2020, 第 9 作者(5) 基于物联网设备局部仿真的反馈式模糊测试技术, 信息安全学报, 2020, 第 7 作者(6) 大规模二进制程序中开源协议违反检测, Open-Source License Violations of Binary Software at Large Scale, 26th IEEE International Conference on Software Analysis, Evolution and Reengineering, 2019, 其他(合作组作者)(7) 1dvul:通过二进制补丁发现1day漏洞, 1dVul: Discovering 1-day Vulnerabilities through Binary Patches, The 49th IEEE/IFIP International Conference on Dependable Systems and Networks, 2019, 第 7 作者(8) B2SFinder:检测商用软件中的开源程序复用, B2SFinder: Detecting Open-Source Software Reuse in COTS Software, The 34th IEEE/ACM International Conference on Automated Software Engineering, 2019, 其他(合作组作者)(9) SRFuzzer:自动化实体路由器模糊测试框架, SRFuzzer: An Automatic Fuzzing Framework for Physical SOHO Router Devices to Discover Multi-Type Vulnerabilities, The 35th Annual Computer Security Applications Conference (ACSAC), 2019, 通讯作者(10) 安卓市场中大规模的第三库检测技术, Large-scale Third-party Library Detection in Android Markets, IEEE Transactions on Software Engineering, 2018, 第 8 作者(11) αDiff: cross-version binary code similarity detection with DNN, Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018, 通讯作者(12) 基于模式生成的浏览器模糊测试技术, BROWSER FUZZING BASED ON PATTERN-GENERATION, 软件学报, 2018, 第 1 作者(13) 可编程模糊测试技术, Programmable Fuzzing Technology, 软件学报, 2018, 第 2 作者(14) LibD: Scalable and Precise Third-party Library Detection in Android Markets, ICSE, 2017, 第 8 作者(15) Locating Software Faults Based on Minimum Debugging Frontier Set, TSE, 2017, 第 3 作者(16) 面向动态生成代码的攻防技术综述, 信息安全学报, 2016, 通讯作者(17) 动态资源感知的并行化模糊测试框架, 计算机应用研究, 2016, 第 3 作者(18) 基于静态生成的浏览器漏洞挖掘技术, 计算机工程, 2016, 第 2 作者(19) 一种场景敏感的高效错误检测方法, 软件学报, 2014, 第 2 作者(20) Effective Fault Localization Based on Minimum Debugging Frontier Set, International Symposium on Code Generation and Optimization, 2013, 第 2 作者(21) 一种基于最小调试边界的断点自动生成技术, 软件学报, 2013, 第 2 作者(22) 基于传播引擎的指针引用错误检测, 计算机学报, 2013, 第 2 作者(23) Can We Make It Faster Efficient May-Happen-in-Parallel Analysis Revisited, International Conference on Parallel and Distributed Computing, Applications and Technologies, 2012, 第 2 作者(24) Making It Practical and Effective: Fast and Precise May-Happen-in-Parallel Analysis, International conference on parallel architectures and compilation techniques(poster), 2012, 第 2 作者(25) 一种提高时序安全属性静态检测实用性的方法, 计算机学报, 2012, 第 1 作者(26) 静态检测中断驱动程序的数据竞争, 计算机研究与发展, 2011, 第 1 作者