Cynthia Sturton
Assistant Professor
Peter Thacher Grauer Fellow

Department of Computer Science
University of North Carolina at Chapel Hill
Chapel Hill, NC 27599-3175

Ph.D., University of California, Berkeley
M.S., University of California, Berkeley

Office: 354 Brooks Building
Tel: 919-590-6020

photo of me

My research group builds new tools for the detection and prevention of vulnerabilities in hardware designs using a combination of static analysis, model checking, and dynamic verification. Most recently, we developed SCIFinder: Security Critical Invariant Finder, a tool to identify and formalize properties of a hardware design that are critical to security.

We also participate in the multi-institution project VeHICaL: Verified Human Interfaces, Control, and Learning for Semi-Autonomous Systems. Our focus is on the security and privacy concerns surrounding cyber-physical systems that interact continuously with people.

I am serving on the program committees for the 39th IEEE Symposium on Security and Privacy and the 7th International Conference on Principles of Security and Trust (POST). Check out the calls for papers and submit your excellent work.