Home

 
Email: maobaolei524@gmail dot com
I am a sixth year Ph.D. student major in Computer Science and Technology at Northwestern Polytechnical University since 2011. And I am supervised by Professor Dejun Mu and Professor Wei Hu. 


From 2013 to 2015, I was a visiting graduate student in Kastner Group of Computer Science and Engineering Department at University of California, San Diego to conduct my research. My advisor are Professor Ryan Kastner and Wei Hu. I am appreciated for their constructive advice and instructions about the research.
Research Interest

My research interest includes Timing and Power Side Channel Analysis(SCA), Hardware Security Based on Information Flow Analysis and Formal Verification. The research is targeted to understand, reason about, verify and validate hardware security design in more efficient and effective way.  


Publication

Wei Hu, Baolei Mao, Jason Oberg, and Ryan Kastner. "Information Flow Tracking for Hardware Trojan Detection"  IEEE COMPUTER.  Vol. 49, Issue 8, Aug. 2016.

Baolei Mao, Wei Hu, Alric Althoff, Janarbek Matai, Jason Oberg, Dejun Mu, Timothy Sherwood, and Ryan Kastner. "Quantifying Timing-Based Information Flow in Cryptographic Hardware"   IEEE/ACM International Conference on Computer-Aided Design(ICCAD), Nov. 2015. Austin, TX. 

Wei Hu, Dejun Mu, Jason Oberg, Baolei Mao, Mohit Tiwari, Timothy Sherwood, and Ryan Kastner. "Gate Level Information Flow Tracking for Security Lattices"  ACM Transactions on Design Automation of Electronic Systems (TODAES), vol. 20, Issue 1, Nov. 2014.

Dejun Mu, Wei Hu, Baolei Mao and Bo Ma. "A Bottom-Up Approach to Verifiable Embedded System Information Flow Security"  IET Information Security. Vol. 8, Issue 1, Jan. 2014.

Baolei Mao, Wei Hu, Yu Tai, Huixiang Zhang and Dejun Mu. "Secure Hardware Design Through Bit-Tight Information Flow Control" TENCON 2013, 2013 IEEE Region 10 Conference, Oct. 2013, Xi'an.
Subpages (1): Beautiful Places