| 软件去臃肿工具的广泛比较评估 | USENIX Security 2024 | 2024 |
| PolyTracker：全输入动态信息流追踪 | ISSTA 2024 | 2024 |
| Endokernel：用于轻量子进程隔离的线程安全监视器 | Usenix Security 2024 | 2024 |
| 覆盖引导的 Ruby 模糊测试器的设计与实现 | CSET 24 | 2024 |
| 测试夹具破坏 | Mutation 2024 | 2024 |
| VAST：面向 C/C++ 的 MLIR 编译器 | EuroLLVM Devs' Meeting 2024 | 2024 |
| PoTATo：通过领域特定 MLIR 方言进行指向分析 | EuroLLVM Devs' Meeting 2024 | 2024 |
| 小心 MAc-then-SIGn：对 EDHOC 轻量级认证密钥交换协议的计算分析 | Euro S&P 2023 | 2023 |
| 对现代证明系统的弱 Fiat-Shamir 攻击 | IEEE S&P 2023 | 2023 |
| Endoprocess：可编程且可扩展的子进程隔离 | NSPW 2023 | 2023 |
| CIVSCOPE：分析分区接口中潜在的内存损坏漏洞 | SOSP KISV 2023 | 2023 |
| 通过混合控制流与数据流分析检测变异性缺陷 | LangSec 2023 | 2023 |
| 盲点：自动检测被忽略的程序输入 | LangSec 2023 | 2023 |
| 面向真实处理器的软件可利用性高效证明 | PETS 2023 | 2023 |
| 迈向 AI 系统的全面风险评估与保障 | arXiv | 2023 |
| x86-64 二进制重写器的广泛比较评估 | CSET 22 | 2022 |
| 关于等价并发计算的优化 | PLDI EGRAPHS 2022 | 2022 |
| 通过差异突变评估静态分析工具 | QRS 2021 | 2021 |
| echidna-parade：多样化的多核智能合约模糊测试 | ISSTA 2021 | 2021 |
| x86-64 指令解码器的差异分析 | LangSec 2021 | 2021 |
| Echidna：高效、易用且快速的智能合约模糊测试 | ISSTA 2020 | 2020 |
| ICARUS：借由羽毛和蜡理解事实上的格式 | LangSec 2020 | 2020 |
| 通过解析器实现的语义标注实现自动化文法提取 | LangSec 2020 | 2020 |
| 重要智能合约中的实际缺陷是什么？ | FC 2020 | 2020 |
| Echidna：实用的智能合约模糊测试器 | FC 2020 | 2020 |
| RSA GTFO | PoC||GTFO 0x20 | 2020 |
| Manticore：针对二进制和智能合约的符号执行 | ASE 2019 | 2019 |
| Slither：智能合约静态分析框架 | WETSEB 2019 | 2019 |
| 利用机器学习实现更智能的漏洞发现 | AISec 2018 | 2018 |
| Cyberdyne 的过去、现在与未来 | IEEE S&P | 2018 |
| DeepState - 面向 C 和 C++ 的符号单元测试 | BAR 2018 | 2018 |
| 夺旗竞赛中的网络欺骗与归属 | FOSINT-SI 2015 | 2015 |
