default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBaolei Mao
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Journal Articles
- 2024
[j10]Maoyuan Qin, Jiacheng Zhu, Baolei Mao, Wei Hu
:
Hardware/software security co-verification and vulnerability detection: An information flow perspective. Integr. 94: 102089 (2024)- 2023
- [j9]Mengfan Liu, Yi Guo, Hongtao Zhang, Liancheng Zhang, Baolei Mao, Mingzhu Fang, Quan Zhang:
FBAR: An effective method for resolving large-scale IPv6 aliases. Int. J. Commun. Syst. 36(18) (2023) - 2020
- [j8]Maoyuan Qin, Xinmu Wang, Baolei Mao, Dejun Mu, Wei Hu:
A formal model for proving hardware timing properties and identifying timing channels. Integr. 72: 123-133 (2020) - [j7]Xu Jiang, Baolei Mao, Jun Guan, Xingli Huang:
Android Malware Detection Using Fine-Grained Features. Sci. Program. 2020: 5190138:1-5190138:13 (2020) - 2019
- [j6]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: 225-239 (2019) - 2018
- [j5]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: 1822-1831 (2018) - [j4]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): 1719-1732 (2018) - 2016
- [j3]Wei Hu, Baolei Mao, Jason Oberg, Ryan Kastner:
Detecting Hardware Trojans with Gate-Level Information-Flow Tracking. Computer 49(8): 44-52 (2016) - 2014
- [j2]Dejun Mu, Wei Hu, Baolei Mao, Bo Ma:
A bottom-up approach to verifiable embedded system information flow security. IET Inf. Secur. 8(1): 12-17 (2014) - [j1]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): 2:1-2:25 (2014)
Conference and Workshop Papers
- 2022
- [c6]Quan Zhang, Yi Guo, Baolei Mao, Liancheng Zhang, Hongtao Zhang, Mengfan Liu:
Bisers: An Efficient DHCPv6 Bounding Solution. ICCT 2022: 1-5 - 2021
- [c5]Zhenyan Zhu, Gang Chen, Zijiao Zhang, Mingzhu Fang, Qiyu Song, Baolei Mao:
Website Fingerprinting Attack Through Persistent Attack of Student. CCIS 2021: 78-82 - [c4]Zhanbo Li, Biao Jiang, Baolei Mao, Yan Zhuang, Hongtao Zhang:
Leveraging Application Complexity Partition for Android Malware Detection. CCIS 2021: 83-88 - 2018
- [c3]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: 1467-1470 - 2017
- [c2]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: 302-311 - 2015
- [c1]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: 552-559
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-25 23:43 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
