Rui Zhang

Orcid: 0000-0002-4221-8329

Affiliations:

University of North Carolina at Chapel Hill, Chapel Hill, NC, USA

According to our database¹, Rui Zhang authored at least 5 papers between 2017 and 2021.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2021

End-to-End Automated Exploit Generation for Processor Security Validation.

[BibT_eX]

[DOI]

IEEE Des. Test, 2021

2020

Towards Automated Security Validation for Hardware Designs.

[BibT_eX]

[DOI]

Rui Zhang

PhD thesis, 2020

Transys: Leveraging Common Security Properties Across Hardware Designs.

[BibT_eX]

[DOI]

Rui Zhang

Cynthia Sturton

Proceedings of the 2020 IEEE Symposium on Security and Privacy, 2020

2018

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

[BibT_eX]

[DOI]

Proceedings of the 51st Annual IEEE/ACM International Symposium on Microarchitecture, 2018

2017

Identifying Security Critical Properties for the Dynamic Verification of a Processor.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Second International Conference on Architectural Support for Programming Languages and Operating Systems, 2017

Rui Zhang

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...