Login / Signup
Rui Zhang
ORCID
Publication Activity (10 Years)
Years Active: 2017-2021
Publications (10 Years): 4
Top Topics
Integrity Verification
High Bandwidth
Multipath
Admission Control
Top Venues
MICRO
IEEE Symposium on Security and Privacy
IEEE Des. Test
ASPLOS
</>
Publications
</>
Rui Zhang
,
Calvin Deutschbein
,
Peng Huang
,
Cynthia Sturton
End-to-End Automated Exploit Generation for Processor Security Validation.
IEEE Des. Test
38 (3) (2021)
Rui Zhang
,
Cynthia Sturton
Transys: Leveraging Common Security Properties Across Hardware Designs.
IEEE Symposium on Security and Privacy
(2020)
Rui Zhang
,
Calvin Deutschbein
,
Peng Huang
,
Cynthia Sturton
End-to-End Automated Exploit Generation for Validating the Security of Processor Designs.
MICRO
(2018)
Rui Zhang
,
Natalie Stanley
,
Christopher Griggs
,
Andrew Chi
,
Cynthia Sturton
Identifying Security Critical Properties for the Dynamic Verification of a Processor.
ASPLOS
(2017)