Stephen McCamant

Stephen McCamant
Contact
Kenneth H. Keller Hall Room 4-225E 200 Union Street SeMinneapolis, MN 55455
Education
Ph.D. in Computer Science, MIT (2008)
M.S. in Computer Science, MIT (2004)
B.A. in Computer Science, University of California, Berkeley (2002)
Professional Background
Stephen McCamant joined the Department of Computer Science & Engineering as an assistant professor in 2012 and was later promoted to an associate professor. He received his M.S. (2004) and Ph.D. (2008) in computer science from the Massachusetts Institute of Technology. Prior to coming to the University, McCamant served as a postdoctoral scholar at the University of California, Berkeley from 2008-11, a research scientist at the University of California, Berkeley from 2011-12, and as a senior scientist at GammaTech, Inc. in 2017.
Prof. McCamant's research focuses on applications of program analysis for software security and correctness. Much of his work analyzes software at the binary (executable) level, and uses decision procedures and symbolic execution. Application areas of his work include binary transformation, instruction-level hardening and isolation, dynamic binary translation, information flow, and taint analysis.
Research Division
Computing Foundations
Current Research
Google Scholar
Flowcheck
Ph.D. Graduates
Seonmo Kim (2022); Navid Emamdoost (2021); Vaibhav Sharma (2020)
Honors and Awards
Selected Grants
HeapBuster: Automatically Exploiting Heap Vulnerabilities
McCamant, S. A.; USDOD NAVY; 8/5/19 - 8/4/22
SATC: CORE: Small: MOSE: Automated Detection of Module-Specific Semantic Errors
Lu, K. & McCamant, S. A.; National Science Foundation; 9/1/18 - 8/31/21
TWC: Small: Confidentiality Measurement of Complex Computations using Quantitative Information Flow
McCamant, S. A.; National Science Foundation; 9/1/15 - 8/31/19