Baolei Mao

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 12

Top Topics

Hardware Design

Malicious Executables

Top Venues

SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI

Publications

Maoyuan Qin, Jiacheng Zhu, Baolei Mao, Wei Hu
Hardware/software security co-verification and vulnerability detection: An information flow perspective. Integr. 94 (2024)
Quan Zhang, Yi Guo, Baolei Mao, Liancheng Zhang, Hongtao Zhang, Mengfan Liu
Bisers: An Efficient DHCPv6 Bounding Solution. ICCT (2022)
Zhenyan Zhu, Gang Chen, Zijiao Zhang, Mingzhu Fang, Qiyu Song, Baolei Mao
Website Fingerprinting Attack Through Persistent Attack of Student. CCIS (2021)
Zhanbo Li, Biao Jiang, Baolei Mao, Yan Zhuang, Hongtao Zhang
Leveraging Application Complexity Partition for Android Malware Detection. CCIS (2021)
Xu Jiang, Baolei Mao, Jun Guan, Xingli Huang
Android Malware Detection Using Fine-Grained Features. Sci. Program. 2020 (2020)
Maoyuan Qin, Xinmu Wang, Baolei Mao, Dejun Mu, Wei Hu
A formal model for proving hardware timing properties and identifying timing channels. Integr. 72 (2020)
Maoyuan Qin, Wei Hu, Xinmu Wang, Dejun Mu, Baolei Mao
Theorem proof based gate level information flow tracking for hardware security verification. Comput. Secur. 85 (2019)
Baolei Mao, Wei Hu, Alric Althoff, Janarbek Matai, Yu Tai, Dejun Mu, Timothy Sherwood, Ryan Kastner
Quantitative Analysis of Timing Channel Security in Cryptographic Hardware Design. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 37 (9) (2018)
Yu Tai, Wei Hu, Dejun Mu, Baolei Mao, Lu Zhang
Towards Quantified Data Analysis of Information Flow Tracking for Secure System Design. IEEE Access 6 (2018)
Ying Wu, Wei Zheng, Baolei Mao, Xiaoxue Wu
Leaks or Not: A Framework for Evaluating Cache Timing Side Channel Attacks in SGX. SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI (2018)
Yu Tai, Wei Hu, Dejun Mu, Baolei Mao, Lantian Guo, Maoyuan Qin
A Simplifying Logic Approach for Gate Level Information Flow Tracking. ChinaCom (2) (2017)
Wei Hu, Baolei Mao, Jason Oberg, Ryan Kastner
Detecting Hardware Trojans with Gate-Level Information-Flow Tracking. Computer 49 (8) (2016)
Baolei Mao, Wei Hu, Alric Althoff, Janarbek Matai, Jason Oberg, Dejun Mu, Timothy Sherwood, Ryan Kastner
Quantifying Timing-Based Information Flow in Cryptographic Hardware. ICCAD (2015)
Wei Hu, Dejun Mu, Jason Oberg, Baolei Mao, Mohit Tiwari, Timothy Sherwood, Ryan Kastner
Gate-Level Information Flow Tracking for Security Lattices. ACM Trans. Design Autom. Electr. Syst. 20 (1) (2014)
Dejun Mu, Wei Hu, Baolei Mao, Bo Ma
A bottom-up approach to verifiable embedded system information flow security. IET Inf. Secur. 8 (1) (2014)