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

Hardware Security @ UNC

I lead the Hardware Security @ UNC lab, a research group tackling the problem of how to validate the security of computer hardware. We are developing new specification mining techniques to automatically identify the properties of a hardware design that are critical to security, and we are building Coppelia, a tool for the symbolic execution of a hardware design that enables bug finding, exploit generation, assertion refinement, or patch verification. Read more at our Hardware Security @ UNC page.


My team also participates 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.