Cynthia Sturton

Defeating UCI: Building Stealthy and Malicious Hardware

Cynthia Sturton, Matthew Hicks, David Wagner et al. · 2011 · 140 citations

Hardware Trojan, Engineering, Information Security +18

SPECS

Matthew Hicks, Cynthia Sturton, Samuel T. King et al. · 2015 · 63 citations · Full text

End-to-End Automated Exploit Generation for Validating the Security of Processor Designs

Rui Zhang, Calvin Deutschbein, Peng Huang et al. · 2018 · 54 citations

Engineering, Hardware Verification Language, Computer Architecture +20

Identifying Security Critical Properties for the Dynamic Verification of a Processor

Rui Zhang, Natalie Stanley, Christopher Griggs et al. · 2017 · 30 citations

Engineering, Hardware Verification Language, Information Security +19

Transys: Leveraging Common Security Properties Across Hardware Designs

Rui Zhang, Cynthia Sturton · 2020 · 21 citations · Full text

Hardware Trojan, Engineering, Hardware Verification Language +20