Predicting problems caused by component upgrades. - Stephen McCamant; Michael D. Ernst (ESEC / SIGSOFT FSE, 2003)

Early Identification of Incompatibilities in Multi-component Upgrades. - Stephen McCamant; Michael D. Ernst (ECOOP, 2004)

Inference and enforcement of data structure consistency specifications. - Brian Demsky; Michael D. Ernst; Philip J. Guo; Stephen McCamant; Jeff H. Perkins; Martin C. Rinard (ISSTA, 2006)

Dynamic inference of abstract types. - Philip J. Guo; Jeff H. Perkins; Stephen McCamant; Michael D. Ernst (ISSTA, 2006)

Evaluating SFI for a CISC Architecture. - Stephen McCamant; Greg Morrisett (USENIX Security Symposium, 2006)

A simulation-based proof technique for dynamic information flow. - Stephen McCamant; Michael D. Ernst (PLAS, 2007)

The Daikon system for dynamic detection of likely invariants. - Michael D. Ernst; Jeff H. Perkins; Philip J. Guo; Stephen McCamant; Carlos Pacheco; Matthew S. Tschantz; Chen Xiao (Sci. Comput. Program., 2007)

Quantitative information flow as network flow capacity. - Stephen McCamant; Michael D. Ernst (PLDI, 2008)

Quantitative information-flow tracking for real systems. - Stephen McCamant (2008)

Emulating emulation-resistant malware. - Min Gyung Kang; Heng Yin 001; Steve Hanna; Stephen McCamant; Dawn Song (VMSec@CCS, 2009)

Loop-extended symbolic execution on binary programs. - Prateek Saxena; Pongsin Poosankam; Stephen McCamant; Dawn Song (ISSTA, 2009)

Measuring channel capacity to distinguish undue influence. - James Newsome; Stephen McCamant; Dawn Song (PLAS, 2009)

Input generation via decomposition and re-stitching: finding bugs in Malware. - Juan Caballero; Pongsin Poosankam; Stephen McCamant; Domagoj Babic; Dawn Song (CCS, 2010)

Binary Code Extraction and Interface Identification for Security Applications. - Juan Caballero; Noah M. Johnson; Stephen McCamant; Dawn Song (NDSS, 2010)

A Symbolic Execution Framework for JavaScript. - Prateek Saxena; Devdatta Akhawe; Steve Hanna; Feng Mao; Stephen McCamant; Dawn Song (IEEE Symposium on Security and Privacy, 2010)

Statically-directed dynamic automated test generation. - Domagoj Babic; Lorenzo Martignoni; Stephen McCamant; Dawn Song (ISSTA, 2011)

DTA++: Dynamic Taint Analysis with Targeted Control-Flow Propagation. - Min Gyung Kang; Stephen McCamant; Pongsin Poosankam; Dawn Song (NDSS, 2011)

Differential Slicing: Identifying Causal Execution Differences for Security Applications. - Noah M. Johnson; Juan Caballero; Kevin Zhijie Chen; Stephen McCamant; Pongsin Poosankam; Daniel Reynaud; Dawn Song (IEEE Symposium on Security and Privacy, 2011)

Path-exploration lifting: hi-fi tests for lo-fi emulators. - Lorenzo Martignoni; Stephen McCamant; Pongsin Poosankam; Dawn Song; Petros Maniatis (ASPLOS, 2012)

Cloud Terminal: Secure Access to Sensitive Applications from Untrusted Systems. - Lorenzo Martignoni; Pongsin Poosankam; Matei Zaharia; Jun Han 001; Stephen McCamant; Dawn Song; Vern Paxson; Adrian Perrig; Scott Shenker; Ion Stoica (USENIX ATC, 2012)

Protecting function pointers in binary. - Chao Zhang 008; Tao Wei 002; Zhaofeng Chen; Lei Duan; Stephen McCamant; Laszlo Szekeres (AsiaCCS, 2013)

HI-CFG: Construction by Binary Analysis and Application to Attack Polymorphism. - Dan Caselden; Alex Bazhanyuk; Mathias Payer; Stephen McCamant; Dawn Song (ESORICS, 2013)

Practical Control Flow Integrity and Randomization for Binary Executables. - Chao Zhang 008; Tao Wei 002; Zhaofeng Chen; Lei Duan; Laszlo Szekeres; Stephen McCamant; Dawn Song; Wei Zou (IEEE Symposium on Security and Privacy, 2013)

A General Persistent Code Caching Framework for Dynamic Binary Translation (DBT). - Wenwen Wang 001; Pen-Chung Yew; Antonia Zhai; Stephen McCamant (USENIX ATC, 2016)

Toward Rigorous Object-Code Coverage Criteria. - Taejoon Byun; Vaibhav Sharma 001; Sanjai Rayadurgam; Stephen McCamant; Mats Per Erik Heimdahl (ISSRE, 2017)

Enabling Cross-ISA Offloading for COTS Binaries. - Wenwen Wang 001; Pen-Chung Yew; Antonia Zhai; Stephen McCamant; Youfeng Wu; Jayaram Bobba (MobiSys, 2017)

Finding Semantically-Equivalent Binary Code By Synthesizing Adaptors. - Vaibhav Sharma 001; Kesha Hietala; Stephen McCamant (CoRR, 2017)

Veritesting Challenges in Symbolic Execution of Java. - Vaibhav Sharma 001; Michael W. Whalen; Stephen McCamant; Willem Visser (ACM SIGSOFT Softw. Eng. Notes, 2017)

DECAF: A Platform-Neutral Whole-System Dynamic Binary Analysis Platform. - Andrew Henderson; Lok-Kwong Yan; Xunchao Hu; Aravind Prakash; Heng Yin 001; Stephen McCamant (IEEE Trans. Software Eng., 2017)

Enhancing Cross-ISA DBT Through Automatically Learned Translation Rules. - Wenwen Wang 001; Stephen McCamant; Antonia Zhai; Pen-Chung Yew (ASPLOS, 2018)

Finding Substitutable Binary Code for Reverse Engineering by Synthesizing Adapters. - Vaibhav Sharma 001; Kesha Hietala; Stephen McCamant (ICST, 2018)

Contract discovery from black-box components. - Vaibhav Sharma 001; Taejoon Byun; Stephen McCamant; Sanjai Rayadurgam; Mats Per Erik Heimdahl (WASPI@ESEC/SIGSOFT FSE, 2018)

Bit-Vector Model Counting Using Statistical Estimation. - Seonmo Kim; Stephen McCamant (TACAS (1), 2018)

Fast PokeEMU: Scaling Generated Instruction Tests Using Aggregation and State Chaining. - Qiuchen Yan; Stephen McCamant (VEE, 2018)

The Effect of Instruction Padding on SFI Overhead. - Navid Emamdoost; Stephen McCamant (CoRR, 2018)

Program-mandering: Quantitative Privilege Separation. - Shen Liu 002; Dongrui Zeng; Yongzhe Huang; Frank Capobianco; Stephen McCamant; Trent Jaeger; Gang Tan (CCS, 2019)

New Attacks and Defenses for Randomized Caches. - Kartik Ramkrishnan; Antonia Zhai; Stephen McCamant; Pen-Chung Yew (CoRR, 2019)

Efficient and scalable cross-ISA virtualization of hardware transactional memory. - Wenwen Wang 001; Pen-Chung Yew; Antonia Zhai; Stephen McCamant (CGO, 2020)

First Time Miss : Low Overhead Mitigation for Shared Memory Cache Side Channels. - Kartik Ramkrishnan; Stephen McCamant; Pen-Chung Yew; Antonia Zhai (ICPP, 2020)

Precisely Characterizing Security Impact in a Flood of Patches via Symbolic Rule Comparison. - Qiushi Wu; Yang He; Stephen McCamant; Kangjie Lu (NDSS, 2020)

Java Ranger: statically summarizing regions for efficient symbolic execution of Java. - Vaibhav Sharma 001; Soha Hussein; Michael W. Whalen; Stephen McCamant; Willem Visser (ESEC/SIGSOFT FSE, 2020)

Structural Bit-vector Model Counting. - Seonmo Kim; Stephen McCamant (SMT, 2020)

Java Ranger at SV-COMP 2020 (Competition Contribution). - Vaibhav Sharma 001; Soha Hussein; Michael W. Whalen; Stephen McCamant; Willem Visser (TACAS (2), 2020)

Counterexample Guided Inductive Repair of Reactive Contracts. - Soha Hussein; Vaibhav Sharma 001; Stephen McCamant; Sanjai Rayadurgam; Mats Per Erik Heimdahl (ASE, 2021)

Detecting Kernel Memory Leaks in Specialized Modules with Ownership Reasoning. - Navid Emamdoost; Qiushi Wu; Kangjie Lu; Stephen McCamant (NDSS, 2021)

Understanding and Detecting Disordered Error Handling with Precise Function Pairing. - Qiushi Wu; Aditya Pakki; Navid Emamdoost; Stephen McCamant; Kangjie Lu (USENIX Security Symposium, 2021)

Finding Substitutable Binary Code By Synthesizing Adapters. - Vaibhav Sharma 001; Kesha Hietala; Stephen McCamant (IEEE Trans. Software Eng., 2021)

PREDATOR: A Cache Side-Channel Attack Detector Based on Precise Event Monitoring. - Minjun Wu; Stephen McCamant; Pen-Chung Yew; Antonia Zhai (SEED, 2022)

Structural Test Input Generation for 3-Address Code Coverage Using Path-Merged Symbolic Execution. - Soha Hussein; Stephen McCamant; Elena Sherman; Vaibhav Sharma 001; Mike Whalen (AST, 2023)

Java Ranger: Supporting String and Array Operations in Java Ranger (Competition Contribution). - Soha Hussein; Qiuchen Yan; Stephen McCamant; Vaibhav Sharma 001; Michael W. Whalen (TACAS (2), 2023)

Non-Fusion Based Coherent Cache Randomization Using Cross-Domain Accesses. - Kartik Ramkrishnan; Stephen McCamant; Antonia Zhai; Pen-Chung Yew (AsiaCCS, 2024)

Generator-Based Fuzzers with Type-Based Targeted Mutation. - Soha Hussein; Stephen McCamant; Mike Whalen (CoRR, 2024)

Shield Bash: Abusing Defensive Coherence State Retrieval to Break Timing Obfuscation. - Kartik Ramkrishnan; Antonia Zhai; Stephen McCamant; Pen-Chung Yew (CoRR, 2025)