A bottom-up approach to verifiable embedded system information flow security. - Dejun Mu; Wei Hu 008; Baolei Mao; Bo Ma 008 (IET Inf. Secur., 2014)

Gate-Level Information Flow Tracking for Security Lattices. - Wei Hu 008; Dejun Mu; Jason Oberg; Baolei Mao; Mohit Tiwari; Timothy Sherwood; Ryan Kastner (ACM Trans. Design Autom. Electr. Syst., 2014)

Quantifying Timing-Based Information Flow in Cryptographic Hardware. - Baolei Mao; Wei Hu 008; Alric Althoff; Janarbek Matai; Jason Oberg; Dejun Mu; Timothy Sherwood; Ryan Kastner (ICCAD, 2015)

Detecting Hardware Trojans with Gate-Level Information-Flow Tracking. - Wei Hu 008; Baolei Mao; Jason Oberg; Ryan Kastner (Computer, 2016)

A Simplifying Logic Approach for Gate Level Information Flow Tracking. - Yu Tai; Wei Hu 008; Dejun Mu; Baolei Mao; Lantian Guo; Maoyuan Qin (ChinaCom (2), 2017)

Leaks or Not: A Framework for Evaluating Cache Timing Side Channel Attacks in SGX. - Ying Wu; Wei Zheng 006; Baolei Mao; Xiaoxue Wu 001 (SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI, 2018)

Towards Quantified Data Analysis of Information Flow Tracking for Secure System Design. - Yu Tai; Wei Hu 008; Dejun Mu; Baolei Mao; Lu Zhang (IEEE Access, 2018)

Quantitative Analysis of Timing Channel Security in Cryptographic Hardware Design. - Baolei Mao; Wei Hu 008; Alric Althoff; Janarbek Matai; Yu Tai; Dejun Mu; Timothy Sherwood; Ryan Kastner (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018)

Theorem proof based gate level information flow tracking for hardware security verification. - Maoyuan Qin; Wei Hu 008; Xinmu Wang; Dejun Mu; Baolei Mao (Comput. Secur., 2019)

A formal model for proving hardware timing properties and identifying timing channels. - Maoyuan Qin; Xinmu Wang; Baolei Mao; Dejun Mu; Wei Hu 008 (Integr., 2020)

Android Malware Detection Using Fine-Grained Features. - Xu Jiang 003; Baolei Mao; Jun Guan; Xingli Huang (Sci. Program., 2020)

Leveraging Application Complexity Partition for Android Malware Detection. - Zhanbo Li; Biao Jiang; Baolei Mao; Yan Zhuang; Hongtao Zhang (CCIS, 2021)

Website Fingerprinting Attack Through Persistent Attack of Student. - Zhenyan Zhu; Gang Chen 037; Zijiao Zhang; Mingzhu Fang; Qiyu Song; Baolei Mao (CCIS, 2021)

Bisers: An Efficient DHCPv6 Bounding Solution. - Quan Zhang; Yi Guo; Baolei Mao; Liancheng Zhang; Hongtao Zhang; Mengfan Liu (ICCT, 2022)

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)

Path-specific Information Flow Analysis for RSA Hardware Timing Channel Security Verification. - Zezhi Wang; Baolei Mao; Shunjie Zhang; Chenxi Mao; Maoyuan Qin; Wei Hu 008 (ICCT, 2024)

Hardware/software security co-verification and vulnerability detection: An information flow perspective. - Maoyuan Qin; Jiacheng Zhu; Baolei Mao; Wei Hu 008 (Integr., 2024)

Detection Method for Prompt Injection by Integrating Pre-trained Model and Heuristic Feature Engineering. - Yi Ji; Runzhi Li; Baolei Mao (CoRR, 2025)