Concepedia

Stephen McCamant

SM

32

Publications

3.9K

Citations

24

H-Index

2003

Active since

Affiliations

University of California, Berkeley(Current)

Massachusetts Institute of Technology

University of Minnesota

Twin Cities Orthopedics

Carnegie Mellon University

Stephen McCamant is an author at University of California, Berkeley specializing in engineering, computer science, and program analysis.

Top concepts

EngineeringComputer ScienceProgram AnalysisSoftware AnalysisFormal VerificationComputer EngineeringSystem SoftwareFormal MethodsHardware SecuritySoftware Testing

Publications per year

2003–2021

32

Publications

32

The Daikon system for dynamic detection of likely invariants

Michael D. Ernst, Jeff Perkins, Philip J. Guo et al. · Science of Computer Programming · 2007 · 1K citations

Daikon System, Engineering, Runtime Verification +10

Practical Control Flow Integrity and Randomization for Binary Executables

Chao Zhang, Tao Wei, Zhaofeng Chen et al. · 2013 · 475 citations · Full text

Engineering, Information Security, Side-channel Attack +21

A Symbolic Execution Framework for JavaScript

Prateek Saxena, Devdatta Akhawe, Steve Hanna et al. · 2010 · 450 citations

Engineering, Software Engineering, Source Code Analysis +20

DTA++: Dynamic Taint Analysis with Targeted Control-Flow Propagation.

Min Gyung Kang, Stephen McCamant, Pongsin Poosankam et al. · Network and Distributed System Security Symposium · 2011 · 235 citations

Engineering, Taint Analysis, Information Security +19

Quantitative information flow as network flow capacity

Stephen McCamant, Michael D. Ernst · 2008 · 173 citations

Engineering, Information Security, Network Analysis +24

Rows per page

1–5 of 32