Cynthia Sturton
Associate Professor
Peter Thacher Grauer Scholar

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.


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. We have released the Drowsy Driving Dataset, which provides video of users in a simulated driving scenario alongside their reported drowsiness levels.