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
Email: csturton@cs.unc.edu
photo of Cynthia Sturton
Photo: © CASA, Mareen Meyer

Hardware Security @ UNC

I lead the Hardware Security @ UNC lab. We build tools for the formal analysis of hardware designs. The goal of our research is to find the security flaws in hardware before the design is fabricated.

Check out our repository of security properties for the formal verification of open-source processors and SoCs, and Sylvia, our symbolic execution engine for Verilog designs.

Join the lab!

We are hiring. If you are a prospective PhD student interested in joining the lab, email me to set up a meeting. If you are a current UNC CS undergraduate, MS, or PhD student email or come by my office hours.