Guangdong Bai
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2010 – today
- 2018
- [j5]Jian Mao, Jingdong Bian, Guangdong Bai, Ruilong Wang, Yue Chen, Yinhao Xiao, Zhenkai Liang:
Detecting Malicious Behaviors in JavaScript Applications. IEEE Access 6: 12284-12294 (2018) - [j4]Guangdong Bai, Quanqi Ye, Yongzheng Wu, Heila Botha, Jun Sun, Yang Liu, Jin Song Dong, Willem Visser:
Towards Model Checking Android Applications. IEEE Trans. Software Eng. 44(6): 595-612 (2018) - [c22]Kulani Tharaka Mahadewa, Kailong Wang, Guangdong Bai, Ling Shi, Jin Song Dong, Zhenkai Liang:
HOMESCAN: Scrutinizing Implementations of Smart Home Integrations. ICECCS 2018: 21-30 - [c21]Wai Yan Maung Maung Thin, Naipeng Dong, Guangdong Bai, Jin Song Dong:
Formal Analysis of a Proof-of-Stake Blockchain. ICECCS 2018: 197-200 - [c20]Yun Lin, Jun Sun, Lyly Tran, Guangdong Bai, Haijun Wang, Jin Song Dong:
Break the dead end of dynamic slicing: localizing data and control omission bug. ASE 2018: 509-519 - 2017
- [c19]Binbin Chen, Xinshu Dong, Guangdong Bai, Sumeet Jauhar, Yueqiang Cheng:
Secure and Efficient Software-based Attestation for Industrial Control Devices with ARM Processors. ACSAC 2017: 425-436 - [c18]Li Li, Naipeng Dong, Jun Pang, Jun Sun, Guangdong Bai, Yang Liu, Jin Song Dong:
A Verification Framework for Stateful Security Protocols. ICFEM 2017: 262-280 - [c17]Chenkai Guo, Naipeng Dong, Guangdong Bai, Quanqi Ye, Jin Song Dong, Jing Xu, Guannan Si:
App genome: callback sequencing in Android. ICSE (Companion Volume) 2017: 149-151 - [c16]Yinhao Xiao, Guangdong Bai, Jian Mao, Zhenkai Liang, Wei Cheng:
Privilege Leakage and Information Stealing through the Android Task Mechanism. PAC 2017: 152-163 - [c15]Quanqi Ye, Guangdong Bai, Naipeng Dong, Jin Song Dong:
Inferring Implicit Assumptions and Correct Usage of Mobile Payment Protocols. SecureComm 2017: 469-488 - [c14]Kailong Wang, Guangdong Bai, Naipeng Dong, Jin Song Dong:
A Framework for Formal Analysis of Privacy on SSO Protocols. SecureComm 2017: 763-777 - [i1]Zhengkui Wang, Guangdong Bai, Soumyadeb Chowdhury, Quanqing Xu, Zhi Lin Seow:
TwiInsight: Discovering Topics and Sentiments from Social Media Datasets. CoRR abs/1705.08094 (2017) - 2016
- [j3]Yaoqi Jia, Guangdong Bai, Prateek Saxena, Zhenkai Liang:
Anonymity in Peer-assisted CDNs: Inference Attacks and Mitigation. PoPETs 2016(4): 294-314 (2016) - [c13]Shuang Liu, Guangdong Bai, Jun Sun, Jin Song Dong:
Towards Using Concurrent Java API Correctly. ICECCS 2016: 219-222 - [c12]Chenkai Guo, Quanqi Ye, Naipeng Dong, Guangdong Bai, Jin Song Dong, Jing Xu:
Automatic Construction of Callback Model for Android Application. ICECCS 2016: 231-234 - 2015
- [c11]Haoyu Wang, Yao Guo, Zihao Tang, Guangdong Bai, Xiangqun Chen:
Reevaluating Android Permission Gaps with Static and Dynamic Analysis. GLOBECOM 2015: 1-6 - [c10]Guangdong Bai, Jun Sun, Jianliang Wu, Quanqi Ye, Li Li, Jin Song Dong, Shanqing Guo:
All Your Sessions Are Belong to Us: Investigating Authenticator Leakage through Backup Channels on Android. ICECCS 2015: 60-69 - [c9]Quanqi Ye, Guangdong Bai, Kailong Wang, Jin Song Dong:
Formal Analysis of a Single Sign-On Protocol Implementation for Android. ICECCS 2015: 90-99 - 2014
- [j2]Guangdong Bai, Lin Yan, Liang Gu, Yao Guo, Xiangqun Chen:
Context-aware usage control for web of things. Security and Communication Networks 7(12): 2696-2712 (2014) - [c8]Guangdong Bai, Jianan Hao, Jianliang Wu, Yang Liu, Zhenkai Liang, Andrew P. Martin:
TrustFound: Towards a Formal Foundation for Model Checking Trusted Computing Platforms. FM 2014: 110-126 - [c7]Xiaolei Li, Hong Hu, Guangdong Bai, Yaoqi Jia, Zhenkai Liang, Prateek Saxena:
DroidVault: A Trusted Data Vault for Android Devices. ICECCS 2014: 29-38 - [c6]Xiaolei Li, Guangdong Bai, Benjamin Thian, Zhenkai Liang, Heng Yin:
A Light-Weight Software Environment for Confining Android Malware. SERE (Companion) 2014: 158-167 - 2013
- [c5]Xiaolei Li, Guangdong Bai, Zhenkai Liang, Heng Yin:
A Software Environment for Confining Malicious Android Applications via Resource Virtualization. ICECCS 2013: 208-211 - [c4]Jianan Hao, Yang Liu, Wentong Cai, Guangdong Bai, Jun Sun:
vTRUST: A Formal Modeling and Verification Framework for Virtualization Systems. ICFEM 2013: 329-346 - [c3]Guangdong Bai, Jike Lei, Guozhu Meng, Sai Sathyanarayan Venkatraman, Prateek Saxena, Jun Sun, Yang Liu, Jin Song Dong:
AUTHSCAN: Automatic Extraction of Web Authentication Protocols from Implementations. NDSS 2013 - 2012
- [j1]Liang Gu, Guangdong Bai, Yao Guo, Xiangqun Chen, Hong Mei:
Security model oriented attestation on dynamically reconfigurable component-based systems. J. Network and Computer Applications 35(3): 974-981 (2012) - 2010
- [c2]Guangdong Bai, Liang Gu, Tao Feng, Yao Guo, Xiangqun Chen:
Context-Aware Usage Control for Android. SecureComm 2010: 326-343 - [c1]Liang Gu, Guangdong Bai, Yao Guo, Xiangqun Chen, Hong Mei:
Security Model Oriented Attestation on Dynamically Reconfigurable Component-Based Systems. UIC/ATC Workshops 2010: 299-304
Coauthor Index
last updated on 2019-02-21 20:59 CET by the dblp team
data released under the ODC-BY 1.0 license
see also: Terms of Use | Privacy Policy | Imprint