Scholar
Cynthia Sturton
Google Scholar ID: hOlkT4sAAAAJ
Associate Professor of Computer Science, University of North Carolina at Chapel Hill
Hardware security
Symbolic execution
Formal methods
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
783
H-index
13
i10-index
17
Publications
20
Co-authors
23
list available
Publications
2 items
SoK: You Find What You Seek: Rethinking Oracles, Guidance, and Input Generation in Hardware Fuzzing
2026
Cited
0
CHARGE: Leveraging CWE Hierarchies for Hardware Security SystemVerilog Assertion Generation
2026
Cited
0
Co-authors
10 total
David Wagner
Professor of Computer Science, UC Berkeley
Calvin Deutschbein
Computer Science, School of Computing and Informationn Sciences, Willamette University
Ryan Kastner
Professor of Computer Science and Engineering, UCSD
Francesco Restuccia
University of California San Diego
Sanjit A. Seshia
Professor of EECS, University of California, Berkeley
Peng Huang
University of Michigan
Michael Reiter
James B. Duke Distinguished Professor, Duke University
Natalie Stanley
Assistant Professor at University of North Carolina at Chapel Hill
