Stephen McCamant

ORCID

Publication Activity (10 Years)

Years Active: 2003-2024
Publications (10 Years): 31

Top Venues

CoRR

NDSS

TACAS (2)

IEEE Trans. Software Eng.

Massachusetts Institute of Technology, Cambridge, MA, USA (PHD)

Education History

Massachusetts Institute of Technology, Cambridge, MA, USA

PHD

Publications

Kartik Ramkrishnan, Stephen McCamant, Antonia Zhai, Pen-Chung Yew
Non-Fusion Based Coherent Cache Randomization Using Cross-Domain Accesses. AsiaCCS (2024)
Soha Hussein, Stephen McCamant, Mike Whalen
Generator-Based Fuzzers with Type-Based Targeted Mutation. CoRR (2024)
Soha Hussein, Stephen McCamant, Elena Sherman, Vaibhav Sharma, Mike Whalen
Structural Test Input Generation for 3-Address Code Coverage Using Path-Merged Symbolic Execution. AST (2023)
Soha Hussein, Qiuchen Yan, Stephen McCamant, Vaibhav Sharma, Michael W. Whalen
Java Ranger: Supporting String and Array Operations in Java Ranger (Competition Contribution). TACAS (2) (2023)
Minjun Wu, Stephen McCamant, Pen-Chung Yew, Antonia Zhai
PREDATOR: A Cache Side-Channel Attack Detector Based on Precise Event Monitoring. SEED (2022)
Soha Hussein, Sanjai Rayadurgam, Stephen McCamant, Vaibhav Sharma, Mats P. E. Heimdahl
Counterexample-Guided Inductive Repair of Reactive Contracts. FormaliSE@ICSE (2022)
Qiushi Wu, Aditya Pakki, Navid Emamdoost, Stephen McCamant, Kangjie Lu
Understanding and Detecting Disordered Error Handling with Precise Function Pairing. USENIX Security Symposium (2021)
Soha Hussein, Vaibhav Sharma, Stephen McCamant, Sanjai Rayadurgam, Mats Per Erik Heimdahl
Counterexample Guided Inductive Repair of Reactive Contracts. ASE (2021)
Navid Emamdoost, Qiushi Wu, Kangjie Lu, Stephen McCamant
Detecting Kernel Memory Leaks in Specialized Modules with Ownership Reasoning. NDSS (2021)
Vaibhav Sharma, Kesha Hietala, Stephen McCamant
Finding Substitutable Binary Code By Synthesizing Adapters. IEEE Trans. Software Eng. 47 (8) (2021)
Seonmo Kim, Stephen McCamant
Structural Bit-vector Model Counting. SMT (2020)
Qiushi Wu, Yang He, Stephen McCamant, Kangjie Lu
Precisely Characterizing Security Impact in a Flood of Patches via Symbolic Rule Comparison. NDSS (2020)
Wenwen Wang, Pen-Chung Yew, Antonia Zhai, Stephen McCamant
Efficient and scalable cross-ISA virtualization of hardware transactional memory. CGO (2020)
Vaibhav Sharma, Soha Hussein, Michael W. Whalen, Stephen McCamant, Willem Visser
Java Ranger at SV-COMP 2020 (Competition Contribution). TACAS (2) (2020)
Vaibhav Sharma, Soha Hussein, Michael W. Whalen, Stephen McCamant, Willem Visser
Java Ranger: statically summarizing regions for efficient symbolic execution of Java. ESEC/SIGSOFT FSE (2020)
Kartik Ramkrishnan, Stephen McCamant, Pen-Chung Yew, Antonia Zhai
First Time Miss : Low Overhead Mitigation for Shared Memory Cache Side Channels. ICPP (2020)
Shen Liu, Dongrui Zeng, Yongzhe Huang, Frank Capobianco, Stephen McCamant, Trent Jaeger, Gang Tan
Program-mandering: Quantitative Privilege Separation. CCS (2019)
Kartik Ramkrishnan, Antonia Zhai, Stephen McCamant, Pen-Chung Yew
New Attacks and Defenses for Randomized Caches. CoRR (2019)
Seonmo Kim, Stephen McCamant
Bit-Vector Model Counting Using Statistical Estimation. TACAS (1) (2018)
Navid Emamdoost, Stephen McCamant
The Effect of Instruction Padding on SFI Overhead. CoRR (2018)
Qiuchen Yan, Stephen McCamant
Fast PokeEMU: Scaling Generated Instruction Tests Using Aggregation and State Chaining. VEE (2018)
Vaibhav Sharma, Kesha Hietala, Stephen McCamant
Finding Substitutable Binary Code for Reverse Engineering by Synthesizing Adapters. ICST (2018)
Vaibhav Sharma, Taejoon Byun, Stephen McCamant, Sanjai Rayadurgam, Mats Per Erik Heimdahl
Contract discovery from black-box components. WASPI@ESEC/SIGSOFT FSE (2018)
Wenwen Wang, Stephen McCamant, Antonia Zhai, Pen-Chung Yew
Enhancing Cross-ISA DBT Through Automatically Learned Translation Rules. ASPLOS (2018)
Vaibhav Sharma, Kesha Hietala, Stephen McCamant
Finding Semantically-Equivalent Binary Code By Synthesizing Adaptors. CoRR (2017)
Andrew Henderson, Lok-Kwong Yan, Xunchao Hu, Aravind Prakash, Heng Yin, Stephen McCamant
DECAF: A Platform-Neutral Whole-System Dynamic Binary Analysis Platform. IEEE Trans. Software Eng. 43 (2) (2017)
Wenwen Wang, Pen-Chung Yew, Antonia Zhai, Stephen McCamant, Youfeng Wu, Jayaram Bobba
Enabling Cross-ISA Offloading for COTS Binaries. MobiSys (2017)
Seonmo Kim, Stephen McCamant
Bit-Vector Model Counting using Statistical Estimation. CoRR (2017)
Taejoon Byun, Vaibhav Sharma, Sanjai Rayadurgam, Stephen McCamant, Mats Per Erik Heimdahl
Toward Rigorous Object-Code Coverage Criteria. ISSRE (2017)
Vaibhav Sharma, Michael W. Whalen, Stephen McCamant, Willem Visser
Veritesting Challenges in Symbolic Execution of Java. ACM SIGSOFT Softw. Eng. Notes 42 (4) (2017)
Wenwen Wang, Pen-Chung Yew, Antonia Zhai, Stephen McCamant
A General Persistent Code Caching Framework for Dynamic Binary Translation (DBT). USENIX Annual Technical Conference (2016)
Chao Zhang, Tao Wei, Zhaofeng Chen, Lei Duan, Stephen McCamant, Laszlo Szekeres
Protecting function pointers in binary. AsiaCCS (2013)
Dan Caselden, Alex Bazhanyuk, Mathias Payer, Stephen McCamant, Dawn Song
HI-CFG: Construction by Binary Analysis and Application to Attack Polymorphism. ESORICS (2013)
Chao Zhang, Tao Wei, Zhaofeng Chen, Lei Duan, Laszlo Szekeres, Stephen McCamant, Dawn Song, Wei Zou
Practical Control Flow Integrity and Randomization for Binary Executables. IEEE Symposium on Security and Privacy (2013)
Lorenzo Martignoni, Stephen McCamant, Pongsin Poosankam, Dawn Song, Petros Maniatis
Path-exploration lifting: hi-fi tests for lo-fi emulators. ASPLOS (2012)
Lorenzo Martignoni, Pongsin Poosankam, Matei Zaharia, Jun Han, Stephen McCamant, Dawn Song, Vern Paxson, Adrian Perrig, Scott Shenker, Ion Stoica
Cloud Terminal: Secure Access to Sensitive Applications from Untrusted Systems. USENIX Annual Technical Conference (2012)
Domagoj Babic, Lorenzo Martignoni, Stephen McCamant, Dawn Song
Statically-directed dynamic automated test generation. ISSTA (2011)
Min Gyung Kang, Stephen McCamant, Pongsin Poosankam, Dawn Song
DTA++: Dynamic Taint Analysis with Targeted Control-Flow Propagation. NDSS (2011)
Noah M. Johnson, Juan Caballero, Kevin Zhijie Chen, Stephen McCamant, Pongsin Poosankam, Daniel Reynaud, Dawn Song
Differential Slicing: Identifying Causal Execution Differences for Security Applications. IEEE Symposium on Security and Privacy (2011)
Prateek Saxena, Devdatta Akhawe, Steve Hanna, Feng Mao, Stephen McCamant, Dawn Song
A Symbolic Execution Framework for JavaScript. IEEE Symposium on Security and Privacy (2010)
Juan Caballero, Pongsin Poosankam, Stephen McCamant, Domagoj Babic, Dawn Song
Input generation via decomposition and re-stitching: finding bugs in Malware. CCS (2010)
Juan Caballero, Noah M. Johnson, Stephen McCamant, Dawn Song
Binary Code Extraction and Interface Identification for Security Applications. NDSS (2010)
James Newsome, Stephen McCamant, Dawn Song
Measuring channel capacity to distinguish undue influence. PLAS (2009)
Min Gyung Kang, Heng Yin, Steve Hanna, Stephen McCamant, Dawn Song
Emulating emulation-resistant malware. VMSec@CCS (2009)
Prateek Saxena, Pongsin Poosankam, Stephen McCamant, Dawn Song
Loop-extended symbolic execution on binary programs. ISSTA (2009)
Stephen McCamant, Michael D. Ernst
Quantitative information flow as network flow capacity. PLDI (2008)
Michael D. Ernst, Jeff H. Perkins, Philip J. Guo, Stephen McCamant, Carlos Pacheco, Matthew S. Tschantz, Chen Xiao
The Daikon system for dynamic detection of likely invariants. Sci. Comput. Program. 69 (1-3) (2007)
Stephen McCamant, Michael D. Ernst
A simulation-based proof technique for dynamic information flow. PLAS (2007)
Philip J. Guo, Jeff H. Perkins, Stephen McCamant, Michael D. Ernst
Dynamic inference of abstract types. ISSTA (2006)
Brian Demsky, Michael D. Ernst, Philip J. Guo, Stephen McCamant, Jeff H. Perkins, Martin C. Rinard
Inference and enforcement of data structure consistency specifications. ISSTA (2006)
Stephen McCamant, Greg Morrisett
Evaluating SFI for a CISC Architecture. USENIX Security Symposium (2006)
Stephen McCamant, Michael D. Ernst
Early Identification of Incompatibilities in Multi-component Upgrades. ECOOP (2004)
Stephen McCamant, Michael D. Ernst
Predicting problems caused by component upgrades. ESEC / SIGSOFT FSE (2003)

Stephen McCamant.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Stephen McCamant