Email: maobaolei524@gmail dot com
I received the Ph.D. in Computer Science and Technology at Northwestern Polytechnical University in 2018. I am supervised by Professor Dejun Mu and Professor Wei Hu.
I received the Master Degree in Control Theory and Control Engineering in 2013 and the Bachelor Degree in Information Security in 2010 both from Northwestern Polytechnical University.
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. My advisor are Professor Ryan Kastner and Wei Hu. I appreciate for their constructive advice and instructions about the research.
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.
Baolei Mao, Wei Hu, Alric Althoff, Janarbek Matai, Yu Tai, Dejun Mu, Timothy Sherwood, and Ryan Kastner. "Quantitative Analysis of Timing Channel Security in Cryptographic Hardware Design" IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. Vol.37. Issue 9, Sep. 2018.
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.