The Hardware Security @ UNC research group, led by Prof. Cynthia Sturton, develops the algorithms and tools to help hardware designers find security vulnerabilities early in the design stage. 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.
[Aug. 2018] Coppelia is one of four papers nominated for the
Best Paper award at MICRO'18
[Jul. 2018] Coppelia is accepted to MICRO'18
[Jun. 2018] Rui Zhang presents our paper describing the recursive strategy
used by Coppelia at FMS'18
[Jun. 2018] Cynthia Sturton is a panelist at DAC'18
discussing the "Challenges and Opportunities of Secure &
Resilient Processor Design"
Our research is supported by the National Science Foundation, Semiconductor Research Corporation, Google, and the University of North Carolina at Chapel Hill.