Md Sakib Anwar, Carter Yagemann, Zhiqiang Lin. GoSonar: Detecting Logical Vulnerabilities in Memory Safe Language Using Inductive Constraint Reasoning. To appear in the 46th IEEE Symposium on Security and Privacy (S&P'25). San Francisco, California. May 12–15, 2025.

David Oygenblik, Carter Yagemann, Joseph Zhang, Arianna Mastali, Jeman Park, Brendan Saltaformaggio. AI Psychiatry: Forensic Investigation of Deep Learning Networks in Memory Images. Appeared in the 33rd USENIX Security Symposium (USENIX'24). Philadelphia, Pennsylvania. August 14–16, 2024.

Md Sakib Anwar, Chaoshun Zuo, Carter Yagemann, Zhiqiang Lin. Extracting Threat Intelligence From Cheat Binaries For Anti-Cheating. Appeared in the 26th International Symposium on Research in Attacks, Intrusions and Defenses (RAID'23). Kowloon, Hong Kong. October 16–18, 2023.

Yisroel Mirsky, George Macon, Michael Brown, Carter Yagemann, Matthew Pruett, Evan Downing, Sukarno Mertoguno, Wenke Lee. VulChecker: Graph-based Vulnerability Localization in Source Code. Appeared in the 32nd USENIX Security Symposium (USENIX'23). Anaheim, California. August 9–11, 2023.

Carter Yagemann, Simon Chung, Brendan Saltaformaggio, Wenke Lee. PUMM: Preventing Use-After-Free Using Execution Unit Partitioning. Appeared in the 32nd USENIX Security Symposium (USENIX'23). Anaheim, California. August 9–11, 2023.

Carter Yagemann, Simon Chung, Brendan Saltaformaggio, Wenke Lee. Automated Bug Hunting With Data-Driven Symbolic Root Cause Analysis. Appeared in the 2021 ACM Conference on Computer and Communications Security (CCS'21). Seoul, Republic of Korea. November 15–19, 2021.

Carter Yagemann, Mohammad Noureddine, Wajih Hassan, Simon Chung, Adam Bates, Wenke Lee. Validating the Integrity of Audit Logs Against Execution Repartitioning Attacks. Appeared in the 2021 ACM Conference on Computer and Communications Security (CCS'21). Seoul, Republic of Korea. November 15–19, 2021.

Carter Yagemann, Pak Ho Chung, Erkam Uzun, Sai Ragam, Brendan Saltaformaggio, Wenke Lee. Modeling Large-Scale Manipulation in Open Stock Markets. Appeared in IEEE Security & Privacy. November–December, 2021. Invite Only Special Issue.

Carter Yagemann, Matthew Pruett, Simon Chung, Kennon Bittick, Brendan Saltaformaggio, Wenke Lee. ARCUS: Symbolic Root Cause Analysis of Exploits in Production Systems. Appeared in the 30th USENIX Security Symposium (USENIX'21). Vancouver, Canada. August 11–13, 2021. GTRI 2021 Best Paper Finalist.

Erkam Uzun, Carter Yagemann, Simon Pak Ho Chung, Vladimir Kolesnikov and Wenke Lee. Cryptographic Key Derivation from Biometric Inferences for Remote Authentication. Appeared in the 16th ACM ASIA Conference on Computer and Communications Security (ASIACCS'21). Hong Kong, China. June 7–11, 2021.

Carter Yagemann, Simon Chung, Erkam Uzun, Sai Ragam, Brendan Saltaformaggio, Wenke Lee. On the Feasibility of Automating Stock Market Manipulation. Appeared in the Annual Computer Security Applications Conference (ACSAC'20). Austin, Texas. December 7–11, 2020.

Carter Yagemann, Salmin Sultana, Li Chen, Wenke Lee. Barnum: Detecting Document Malware via Control Flow Anomalies in Hardware Traces. Appeared in 22nd Information Security Conference (ISC'19). New York, New York. September 16–18, 2019.

Li Chen, Carter Yagemann, Evan Downing. To believe or not to believe: Validating explanation fidelity for dynamic malware analysis. Appeared in CVPR Workshops (CVPR'19). Long Beach, California. June 16–20, 2019.

Nilaksh Das, Siwei Li, Chanil Jeon, Jinho Jung, Shang-Tse Chen, Carter Yagemann, Evan Downing, Haekyu Park, Evan Yang, Li Chen, Michael Kounavis, Ravi Sahita, David Durham, Scott Buck, Polo Chau, Taesoo Kim, Wenke Lee. MLsploit: A Cloud-Based Framework for Adversarial Machine Learning Research. Appeared in Black Hat Asia 2019. Marina Bay Sands, Singapore. March 26–29, 2019.

Nilaksh Das, Siwei Li, Chanil Jeon, Jinho Jung, Shang-Tse Chen, Carter Yagemann, Evan Downing, Haekyu Park, Evan Yang, Li Chen, Michael Kounavis, Ravi Sahita, David Durham, Scott Buck, Polo Chau, Taesoo Kim, Wenke Lee. MLsploit: A Framework for Interactive Experimentation with Adversarial Machine Learning Research. Appeared in 25th ACM SIGKDD Conference on Knowledge Discovery and Data Mining (KDD'19) Project Showcase Workshop. Anchorage, Alaska. August 4–8, 2019.

Hong Hu, Chenxiong Qian, Carter Yagemann, Simon Pak Ho Chung, Bill Harris, Taesoo Kim, Wenke Lee. Enforcing Unique Code Target Property for Control-Flow Integrity. Appeared in the 25th ACM Conference on Computer and Communications Security (CCS'18). Toronto, Canada. October 15–19, 2018.

Carter Yagemann, Wenliang Du. Intentio Ex Machina: Android Intent Access Control via an Extensible Application Hook. Appeared in Proceedings of the 21st European Symposium on Research in Computer Security (ESORICS'16). Heraklion, Crete, Greece. September 26–30, 2016.

Carter Yagemann. Intentio Ex Machina: Android Intent Access Control via an Extensible Application Hook. Master's thesis. May 15, 2016. Master of Science Prize.