| 2025 | ACSAC | VerDiff: Vulnerability Presence Verification for Comprehensive Reporting Using Constraint Programming. | Md Sakib Anwar, Carter Yagemann, Zhiqiang Lin |
| 2025 | ACSAC | Recovering Peripheral Maps and Protocols to Expedite Firmware Reverse Engineering. | Bayan Turkistani, Carter Yagemann |
| 2025 | AsiaCCS | An Empirical Study of C Decompilers: Performance Metrics and Error Taxonomy. | Melih Sirlanci, Carter Yagemann, Zhiqiang Lin |
| 2025 | SP | GoSonar: Detecting Logical Vulnerabilities in Memory Safe Language Using Inductive Constraint Reasoning. | Md Sakib Anwar, Carter Yagemann, Zhiqiang Lin |
| 2023 | RAID | Extracting Threat Intelligence From Cheat Binaries For Anti-Cheating. | Md Sakib Anwar, Chaoshun Zuo, Carter Yagemann, Zhiqiang Lin |
| 2021 | AsiaCCS | Cryptographic Key Derivation from Biometric Inferences for Remote Authentication. | Erkam Uzun, Carter Yagemann, Simon P. Chung, Vladimir Kolesnikov, Wenke Lee |
| 2021 | CCS | Automated Bug Hunting With Data-Driven Symbolic Root Cause Analysis. | Carter Yagemann, Simon P. Chung, Brendan Saltaformaggio, Wenke Lee |
| 2021 | CCS | Validating the Integrity of Audit Logs Against Execution Repartitioning Attacks. | Carter Yagemann, Mohammad A. Noureddine, Wajih Ul Hassan, Simon P. Chung, Adam Bates, Wenke Lee |
| 2020 | ACSAC | On the Feasibility of Automating Stock Market Manipulation. | Carter Yagemann, Simon P. Chung, Erkam Uzun, Sai Ragam, Brendan Saltaformaggio, Wenke Lee |
| 2019 | CVPR | To believe or not to believe: Validating explanation fidelity for dynamic malware analysis. | Li Chen, Carter Yagemann, Evan Downing |
| 2018 | CCS | Enforcing Unique Code Target Property for Control-Flow Integrity. | Hong Hu, Chenxiong Qian, Carter Yagemann, Simon Pak Ho Chung, William R. Harris, Taesoo Kim, Wenke Lee |
| 2016 | ESORICS | Intentio Ex Machina: Android Intent Access Control via an Extensible Application Hook. | Carter Yagemann, Wenliang Du |