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.
[Oct. 2018] Cynthia Sturton will be presenting at Enigma 2019
[Oct. 2018] We receive funding from Intel
[Oct. 2018] Our paper on mining temporal security critical
properties is accepted at MTV'18
[Oct. 2018] Rui Zhang presents Coppelia at MICRO'18
[Aug. 2018] Coppelia is one of four papers nominated for the
Best Paper award at MICRO'18
Our research is supported by the National Science Foundation,
Semiconductor Research Corporation, Intel, Google, and the University of North Carolina at Chapel Hill.