Stephen McCamant
University of Minnesota-Twin Cities
H-index: 28
North America-United States
Top articles of Stephen McCamant
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
PREDATOR: A Cache Side-Channel Attack Detector Based on Precise Event Monitoring | Minjun Wu Stephen McCamant Pen-Chung Yew Antonia Zhai | 2022/9/26 | |
Detecting kernel memory leaks in specialized modules with ownership reasoning | Navid Emamdoost Qiushi Wu Kangjie Lu Stephen McCamant | 2021/2 | |
Understanding and detecting disordered error handling with precise function pairing | Qiushi Wu Aditya Pakki Navid Emamdoost Stephen McCamant Kangjie Lu | 2021 | |
Counterexample Guided Inductive Repair of Reactive Contracts | Soha Hussein Vaibhav Sharma Stephen McCamant Sanjai Rayadurgam Mats Heimdahl | 2021/11/15 | |
Efficient and scalable cross-isa virtualization of hardware transactional memory | Wenwen Wang Pen-Chung Yew Antonia Zhai Stephen McCamant | 2020/2/22 | |
Precisely characterizing security impact in a flood of patches via symbolic rule comparison | Qiushi Wu Yang He Stephen McCamant Kangjie Lu | 2020/1 | |
Structural Bit-vector Model Counting. | Seonmo Kim Stephen McCamant | 2020 | |
Java Ranger: Statically summarizing regions for efficient symbolic execution of Java | Vaibhav Sharma Soha Hussein Michael W Whalen Stephen McCamant Willem Visser | 2020/11/8 | |
It doesn’t have to be so hard: Efficient symbolic reasoning for CRCs | 2020 Workshop on binary analysis research. NDSS BAR | Vaibhav Sharma Navid Emamdoost Seonmo Kim Stephen McCamant | 2020 |
First Time Miss: Low Overhead Mitigation for Shared Memory Cache Side Channels | Kartik Ramkrishnan Stephen McCamant Pen Chung Yew Antonia Zhai | 2020/8/17 | |
Java Ranger at SV-COMP 2020 (competition contribution) | Vaibhav Sharma Soha Hussein Michael W Whalen Stephen McCamant Willem Visser | 2020/4/17 |