Rui Zhang

About

I am a 2nd year Ph.D. student at UNC Chapel Hill advised by Prof. Cynthia Sturton. I received my bachelor's degree from Peking University in 2013, and my master's degree from Columbia University in 2015.

My research interests are in hardware security and formal verification. 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.

Updates

  • Mar 2017: Our talk abstract Identifying Security Critical Properties for the Dynamic Verification of a Processor is accepted by HCSS'17.
  • Feb 2017: Present our work SCIFinder in NVIDIA RTP.
  • Nov 2016: Our paper Identifying Security Critical Properties for the Dynamic Verification of a Processor is accepted by ASPLOS'17.

Publications

  • Identifying Security Critical Properties for the Dynamic Verification of a Processor, Rui Zhang, Natalie Stanley, Christopher Griggs, Andrew Chi, Cynthia Sturton. ASPLOS 2017.
  • Ultrasensitive Mass Detection Using Dual-Microcantilevers Coupled by Cruciform Overhang, Rui Zhang, Guibing Cai, Zhiqiang Wang, Lurui Zhao, Wengang Wu. NEMS 2013.
  • Net-overhang Coupled Dual-Microcantilevers for Sensitive Mass Detection, Guibing Cai, Rui Zhang, Zhiqiang Wang, Lurui Zhao, Wengang Wu. SENSORS 2013.

Projects

SCIFinder

A semi-automatic method for identifying security critical properties for use in the dynamic verification of a processor.

Talks

  • Identifying Security Critical Properties for the Dynamic Verification of a Processor
    • HCSS Conference 2017, Annapolis, Maryland. May 2017.
    • ASPLOS Conference 2017, Xi'an, China. April 2017.
    • NVIDIA - RTP, Durham, NC. Feb 2017.

Contact

  • Email: rzhang [at] cs [dot] unc [dot] edu
  • Office: 346 Brooks Building
  • Blog: Find me on Medium