Baolei Mao

According to our database, Baolei Mao authored at least 18 papers between 2014 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Detection Method for Prompt Injection by Integrating Pre-trained Model and Heuristic Feature Engineering.

Yi Ji, Runzhi Li, Baolei Mao

CoRR, June, 2025

2024

Hardware/software security co-verification and vulnerability detection: An information flow perspective.

Maoyuan Qin, Jiacheng Zhu, Baolei Mao, Wei Hu

Integr., January, 2024

Path-specific Information Flow Analysis for RSA Hardware Timing Channel Security Verification.

Zezhi Wang, Baolei Mao, Shunjie Zhang, Chenxi Mao, Maoyuan Qin, Wei Hu

Proceedings of the 24th IEEE International Conference on Communication Technology, 2024

2023

FBAR: An effective method for resolving large-scale IPv6 aliases.

Mengfan Liu, Yi Guo, Hongtao Zhang, Liancheng Zhang, Baolei Mao, Mingzhu Fang, Quan Zhang

Int. J. Commun. Syst., 2023

2022

Bisers: An Efficient DHCPv6 Bounding Solution.

Quan Zhang, Yi Guo, Baolei Mao, Liancheng Zhang, Hongtao Zhang, Mengfan Liu

Proceedings of the 22nd IEEE International Conference on Communication Technology, 2022

2021

Website Fingerprinting Attack Through Persistent Attack of Student.

Zhenyan Zhu, Gang Chen, Zijiao Zhang, Mingzhu Fang, Qiyu Song, Baolei Mao

Proceedings of the 7th IEEE International Conference on Cloud Computing and Intelligent Systems, 2021

Leveraging Application Complexity Partition for Android Malware Detection.

Zhanbo Li, Biao Jiang, Baolei Mao, Yan Zhuang, Hongtao Zhang

Proceedings of the 7th IEEE International Conference on Cloud Computing and Intelligent Systems, 2021

2020

Android Malware Detection Using Fine-Grained Features.

Xu Jiang, Baolei Mao, Jun Guan, Xingli Huang

Sci. Program., 2020

A formal model for proving hardware timing properties and identifying timing channels.

Maoyuan Qin, Xinmu Wang, Baolei Mao, Dejun Mu, Wei Hu

Integr., 2020

2019

Theorem proof based gate level information flow tracking for hardware security verification.

Maoyuan Qin, Wei Hu, Xinmu Wang, Dejun Mu, Baolei Mao

Comput. Secur., 2019

2018

Quantitative Analysis of Timing Channel Security in Cryptographic Hardware Design.

Baolei Mao, Wei Hu, Alric Althoff, Janarbek Matai, Yu Tai, Dejun Mu, Timothy Sherwood, Ryan Kastner

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018

Towards Quantified Data Analysis of Information Flow Tracking for Secure System Design.

Yu Tai, Wei Hu, Dejun Mu, Baolei Mao, Lu Zhang

IEEE Access, 2018

Leaks or Not: A Framework for Evaluating Cache Timing Side Channel Attacks in SGX.

Ying Wu, Wei Zheng, Baolei Mao, Xiaoxue Wu

Proceedings of the 2018 IEEE SmartWorld, 2018

2017

A Simplifying Logic Approach for Gate Level Information Flow Tracking.

Yu Tai, Wei Hu, Dejun Mu, Baolei Mao, Lantian Guo, Maoyuan Qin

Proceedings of the Communications and Networking, 2017

2016

Detecting Hardware Trojans with Gate-Level Information-Flow Tracking.

Wei Hu, Baolei Mao, Jason Oberg, Ryan Kastner

Computer, 2016

2015

Quantifying Timing-Based Information Flow in Cryptographic Hardware.

Baolei Mao, Wei Hu, Alric Althoff, Janarbek Matai, Jason Oberg, Dejun Mu, Timothy Sherwood, Ryan Kastner

Proceedings of the IEEE/ACM International Conference on Computer-Aided Design, 2015

2014

Gate-Level Information Flow Tracking for Security Lattices.

Wei Hu, Dejun Mu, Jason Oberg, Baolei Mao, Mohit Tiwari, Timothy Sherwood, Ryan Kastner

ACM Trans. Design Autom. Electr. Syst., 2014

A bottom-up approach to verifiable embedded system information flow security.

Dejun Mu, Wei Hu, Baolei Mao, Bo Ma

IET Inf. Secur., 2014