Baolei Mao

19 papers A 1Journal 11Unranked 7
YearRankTypeTitle / Venue / Authors
2025 — conf
Detection Method for Prompt Injection by Integrating Pre-trained Model and Heuristic Feature Engineering.
KSEM (6)
Yi Ji, Runzhi Li, Baolei Mao
2025 J jnl
Detection Method for Prompt Injection by Integrating Pre-trained Model and Heuristic Feature Engineering.
CoRR
Yi Ji, Runzhi Li, Baolei Mao
2024 J jnl
Hardware/software security co-verification and vulnerability detection: An information flow perspective.
Integr.
Maoyuan Qin, Jiacheng Zhu, Baolei Mao, Wei Hu
2024 — conf
Path-specific Information Flow Analysis for RSA Hardware Timing Channel Security Verification.
ICCT
Zezhi Wang, Baolei Mao, Shunjie Zhang, Chenxi Mao, Maoyuan Qin, Wei Hu
2023 J jnl
FBAR: An effective method for resolving large-scale IPv6 aliases.
Int. J. Commun. Syst.
Mengfan Liu, Yi Guo, Hongtao Zhang, Liancheng Zhang, Baolei Mao, Mingzhu Fang, Quan Zhang
2022 — conf
Bisers: An Efficient DHCPv6 Bounding Solution.
ICCT
Quan Zhang, Yi Guo, Baolei Mao, Liancheng Zhang, Hongtao Zhang, Mengfan Liu
2021 — conf
Leveraging Application Complexity Partition for Android Malware Detection.
CCIS
Zhanbo Li, Biao Jiang, Baolei Mao, Yan Zhuang, Hongtao Zhang
2021 — conf
Website Fingerprinting Attack Through Persistent Attack of Student.
CCIS
Zhenyan Zhu, Gang Chen, Zijiao Zhang, Mingzhu Fang, Qiyu Song, Baolei Mao
2020 J jnl
A formal model for proving hardware timing properties and identifying timing channels.
Integr.
Maoyuan Qin, Xinmu Wang, Baolei Mao, Dejun Mu, Wei Hu
2020 J jnl
Android Malware Detection Using Fine-Grained Features.
Sci. Program.
Xu Jiang, Baolei Mao, Jun Guan, Xingli Huang
2019 J jnl
Theorem proof based gate level information flow tracking for hardware security verification.
Comput. Secur.
Maoyuan Qin, Wei Hu, Xinmu Wang, Dejun Mu, Baolei Mao
2018 — conf
Leaks or Not: A Framework for Evaluating Cache Timing Side Channel Attacks in SGX.
SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI
Ying Wu, Wei Zheng, Baolei Mao, Xiaoxue Wu
2018 J jnl
Quantitative Analysis of Timing Channel Security in Cryptographic Hardware Design.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Baolei Mao, Wei Hu, Alric Althoff, Janarbek Matai, Yu Tai, Dejun Mu, Timothy Sherwood, Ryan Kastner
2018 J jnl
Towards Quantified Data Analysis of Information Flow Tracking for Secure System Design.
IEEE Access
Yu Tai, Wei Hu, Dejun Mu, Baolei Mao, Lu Zhang
2017 — conf
A Simplifying Logic Approach for Gate Level Information Flow Tracking.
ChinaCom (2)
Yu Tai, Wei Hu, Dejun Mu, Baolei Mao, Lantian Guo, Maoyuan Qin
2016 J jnl
Detecting Hardware Trojans with Gate-Level Information-Flow Tracking.
Computer
Wei Hu, Baolei Mao, Jason Oberg, Ryan Kastner
2015 A conf
Quantifying Timing-Based Information Flow in Cryptographic Hardware.
ICCAD
Baolei Mao, Wei Hu, Alric Althoff, Janarbek Matai, Jason Oberg, Dejun Mu, Timothy Sherwood, Ryan Kastner
2014 J jnl
A bottom-up approach to verifiable embedded system information flow security.
IET Inf. Secur.
Dejun Mu, Wei Hu, Baolei Mao, Bo Ma
2014 J jnl
Gate-Level Information Flow Tracking for Security Lattices.
ACM Trans. Design Autom. Electr. Syst.
Wei Hu, Dejun Mu, Jason Oberg, Baolei Mao, Mohit Tiwari, Timothy Sherwood, Ryan Kastner