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 as subcommittee program chair for the 2018 Design Automation Conference (DAC). I am also serving on the program committees for the 2018 IEEE Symposium on Security and Privacy, the 2018 USENIX Security Symposium, and the 2018 International Conference on Principles of Security and Trust (POST). Check out the calls for papers and submit your excellent work.