I am a doctoral student at UNC Chapel Hill, dabbling in hardware security research. I am fortunate to be advised by Prof. Cynthia Sturton.
I am broadly interested in all aspects of hardware security. The goals of my research are to help hardware designers efficiently build more secure processors that can withstand a wide range of attack programs in the field, as well as to provide interesting insights about hardware vulnerabilities to the community.
I completed my BS from Peking University, and my MS from Columbia University.
- A Recursive Strategy for Symbolic Execution to Find Exploits in Hardware Designs Rui Zhang, Cynthia Sturton ACM SIGPLAN International Workshop on Formal Methods and Security (FMS), co-located with PLDI 2018
- Identifying Security Critical Properties for the Dynamic Verification of a Processor Rui Zhang, Natalie Stanley, Christopher Griggs, Andrew Chi, Cynthia Sturton ACM Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS) 2017 [BibTex] [SCIFinder]
- A Recursive Strategy for Symbolic Execution to Find Exploits in Hardware Designs
- Formal Method and Security, June 2018.
- Identifying Security Critical Properties for the Dynamic Verification of a Processor
- Duke Triangle Machine Learning Day, April 2018.
- High Confidence Software and Systems Conference, May 2017.
- ASPLOS Conference, April 2017.
- NVIDIA, Feb 2017.
- Email: rzhang [at] cs [dot] unc [dot] edu
- Office: 346 Brooks Building
- Blog: Find me on Medium