Identifying Security Critical Properties for the Dynamic Verification of a Processor. - Rui Zhang 068; Natalie Stanley; Christopher Griggs; Andrew Chi; Cynthia Sturton (ASPLOS, 2017)

End-to-End Automated Exploit Generation for Validating the Security of Processor Designs. - Rui Zhang 068; Calvin Deutschbein; Peng Huang 005; Cynthia Sturton (MICRO, 2018)

Transys: Leveraging Common Security Properties Across Hardware Designs. - Rui Zhang 068; Cynthia Sturton (SP, 2020)

Towards Automated Security Validation for Hardware Designs. - Rui Zhang 068 (2020)

End-to-End Automated Exploit Generation for Processor Security Validation. - Rui Zhang 068; Calvin Deutschbein; Peng Huang 005; Cynthia Sturton (IEEE Des. Test, 2021)