Stephen McCamant

59 papers A* 16A 13B 2C 1Journal 11Unranked 15

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