
Stephen McCamant
Associate Professor, Department of Computer Science & EngineeringContact
Kenneth H. Keller Hall Room 4-225E 200 Union Street SeMinneapolis, MN 55455
Biography
Research Interests
McCamant's primary research interest is applications of program analysis techniques for software security and correctness. This includes binary analysis and transformation, hybrids of dynamic and static analysis including symbolic execution, information flow and taint analysis, instruction-level hardening and isolation, and applications of decision procedures and proof-assistant tools.
Research areas
Software Engineering and Programming Languages
Visit Stephen McCamant's Experts@Minnesota profile page.
Recent News