Cynthia Sturton

Cynthia Sturton serves as Associate Professor and Peter Thacher Grauer Scholar in the Department of Computer Science at the University of North Carolina at Chapel Hill. She leads the Hardware Security @ UNC research laboratory focused on developing formal verification tools for hardware security analysis.

Her educational background includes a Ph.D. (2013) and M.S. from UC Berkeley, and a B.S.Eng. from Arizona State University. Her research centers on hardware security, applied formal methods, and symbolic execution techniques for identifying security vulnerabilities in processor designs before fabrication.

Sturton's research demonstrates consistent innovation in hardware security verification, particularly through tools like Sylvia (symbolic execution for Verilog) and SylQ-SV (SystemVerilog analysis with query caching). Her work bridges theoretical formal methods with practical security applications, addressing critical challenges like path explosion and security property generation at scale.

• Nominated for Best Paper award at IEEE/ACM MICRO 2018
• Intel Hardware Security Academic Award, 2nd place ($50,000) at IEEE Symposium on Security and Privacy 2020
• Selected as Top Picks in Hardware and Embedded Security 2021

She advises multiple graduate students including Rui Zhang and Calvin Deutschbein, and has secured significant research funding from NSF (Grants 1816637, 651276), Semiconductor Research Corporation, Intel, Google, and UNC Chapel Hill. Her Hardware Security @ UNC lab develops critical tools for security property generation and vulnerability detection in hardware designs.