Email: maobaolei524@gmail dot com
Embedded Files
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.
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.
Technical Reviewer
IEEE Transactions on Very Large Scale Integration System, IEEE Network, IET Information Security, IEEE ACCESS, et al.
Publication
Maoyuan Qin, Xinmu Wang, Baolei Mao, Dejun Mu, Wei Hu. "A Formal Model for Proving Hardware Timing Properties and Identifying Timing Channels", Integration, the VLSI Journal. Vol. 72, 2020.
Xu Jiang, Baolei Mao, Jun Guan, Xingli Huang. "Android Malware Detection Using Fine-Grained Features", Scientific Programming. Vol. 2020, Jan 2020.
Maoyuan Qin, Wei Hu, Xinmu Wang, Dejun Mu, Baolei Mao. "Theorem Proof based Gate Level Information Flow Tracking for Hardware Security Verification", Computers & Security. Vol.85, Aug. 2019.
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", 2013 IEEE Region 10 Conference(TENCON 2013), Oct. 2013, Xi'an.
Google Sites
Report abuse