|
2020 Journal Article Autonomous Permission RecommendationGao, Hongcan, Guo, Chenkai, Huang, Dengrong, Hou, Xiaolei, Wu, Yanfeng, Xu, Jing, He, Zhen and Bai, Guangdong (2020). Autonomous Permission Recommendation. IEEE Access, 8 8962006, 76580-76594. doi: 10.1109/ACCESS.2020.2967139 |
|
2020 Conference Publication PrivColl: practical privacy-preserving collaborative machine learningZhang, Yanjun, Bai, Guangdong, Li, Xue, Curtis, Caitlin, Chen, Chen and Ko, Ryan K. L. (2020). PrivColl: practical privacy-preserving collaborative machine learning. European Symposium on Research in Computer Security, Guildford, United Kingdom, 14-18 September 2020. Cham, Switzerland: Springer International Publishing. doi: 10.1007/978-3-030-58951-6_20 |
|
2019 Journal Article Smart grid metering networks: a survey on security, privacy and open research issuesKumar, Pardeep, Lin, Yun, Bai, Guangdong, Paverd, Andrew, Dong, Jin Song and Martin, Andrew (2019). Smart grid metering networks: a survey on security, privacy and open research issues. IEEE Communications Surveys and Tutorials, 21 (3), 2886-2927. doi: 10.1109/comst.2019.2899354 |
|
2019 Conference Publication DaPanda: detecting aggressive push notifications in android appsLiu, Tianming, Wang, Haoyu, Li, Li, Bai, Guangdong, Guo, Yao and Xu, Guoai (2019). DaPanda: detecting aggressive push notifications in android apps. 34th IEEE/ACM International Conference on Automated Software Engineering (ASE), San Diego, CA, United States, 10-11 November 2019. New York, United States: Institute of Electrical and Electronics Engineers . doi: 10.1109/ASE.2019.00017 |
|
2019 Conference Publication Analyzing use of high privileges on android: an empirical case study of screenshot and screen recording applicationsMeng, Mark H., Bai, Guangdong, Liu, Joseph K., Luo, Xiapu and Wang, Yu (2019). Analyzing use of high privileges on android: an empirical case study of screenshot and screen recording applications. 14th International Conference, Inscrypt 2018, Fuzhou, China, 14-17 December 2018. Cham, Switzerland: Springer Nature Switzerland. doi: 10.1007/978-3-030-14234-6_19 |
|
2019 Conference Publication LightSense: a novel side channel for zero-permission mobile user trackingYe, Quanqi, Zhang, Yan, Bai, Guangdong, Dong, Naipeng, Liang, Zhenkai, Dong, Jin Song and Wang, Haoyu (2019). LightSense: a novel side channel for zero-permission mobile user tracking. 22nd International Conference, ISC, New York, NY, United States, 16-18 September 2019. Cham, Switzerland: Springer. doi: 10.1007/978-3-030-30215-3_15 |
|
2018 Journal Article Towards model checking Android applicationsBai, Guangdong, Ye, Quanqi, Wu, Yongzheng, Botha, Heila, Sun, Jun, Liu, Yang, Dong, Jin Song and Visser, Willem (2018). Towards model checking Android applications. IEEE Transactions on Software Engineering, 44 (6), 595-612. doi: 10.1109/tse.2017.2697848 |
|
2018 Conference Publication Formal Analysis of a Proof-of-Stake BlockchainThin, Wai Yan Maung Maung, Dong, Naipeng, Bai, Guangdong and Dong, Jin Song (2018). Formal Analysis of a Proof-of-Stake Blockchain. 23rd International Conference on Engineering of Complex Computer Systems (ICECCS), Melbourne, VIC Australia, 12-14 December 2018. Piscataway, NJ United States: IEEE. doi: 10.1109/iceccs2018.2018.00031 |
|
2018 Journal Article Detecting Malicious Behaviors in JavaScript ApplicationsMao, Jian, Bian, Jingdong, Bai, Guangdong, Wang, Ruilong, Chen, Yue, Xiao, Yinhao and Liang, Zhenkai (2018). Detecting Malicious Behaviors in JavaScript Applications. Ieee Access, 6, 12284-12294. doi: 10.1109/ACCESS.2018.2795383 |
|
2018 Conference Publication Inferring implicit assumptions and correct usage of mobile payment protocolsYe, Quanqi, Bai, Guangdong, Dong, Naipeng and Dong, Jin Song (2018). Inferring implicit assumptions and correct usage of mobile payment protocols. 13th EAI International Conference on Security and Privacy in Communication Networks (SecureComm), Niagara Falls, Canada, 22-25 October 2017. Heidelberg, Germany: Springer. doi: 10.1007/978-3-319-78813-5_24 |
|
2018 Conference Publication Break the dead end of dynamic slicing: localizing data and control omission bugLin, Yun, Sun, Jun, Tran, Lyly, Bai, Guangdong, Wang, Haijun and Dong, Jinsong (2018). Break the dead end of dynamic slicing: localizing data and control omission bug. 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE), Montpellier, France, 3-7 September 2018. New York, NY USA: Institute of Electrical and Electronics Engineers. doi: 10.1145/3238147.3238163 |
|
2018 Conference Publication A Framework for Formal Analysis of Privacy on SSO ProtocolsWang, Kailong, Bai, Guangdong, Dong, Naipeng and Dong, Jin Song (2018). A Framework for Formal Analysis of Privacy on SSO Protocols. 13th EAI International Conference on Security and Privacy in Communication Networks (SecureComm), Niagara Falls Canada, 22-25 October 2017. Cham, Switzerland: Springer. doi: 10.1007/978-3-319-78813-5_41 |
|
2017 Conference Publication Secure and efficient software-based attestation for industrial control devices with ARM processorsChen, Binbin, Dong, Xinshu, Bai, Guangdong, Jauhar, Sumeet and Cheng, Yueqiang (2017). Secure and efficient software-based attestation for industrial control devices with ARM processors. 33rd Annual Computer Security Applications Conference (ACSAC), Orlando, FL, United States, 4-8 December, 2017. Washington, DC United States: I E E E Computer Society. doi: 10.1145/3134600.3134621 |
|
2017 Conference Publication App genome: callback sequencing in AndroidGuo, Chenkai, Dong, Naipeng, Bai, Guangdong, Ye, Quanqi, Dong, Jinsong, Xu, Jing and Si, Guannan (2017). App genome: callback sequencing in Android. IEEE/ACM 39th International Conference on Software Engineering Companion (ICSE-C), Buenos Aires, Argentina, 20-28 May 2017. Piscataway, NJ USA: Institute of Electrical and Electronics Engineers. doi: 10.1109/icse-c.2017.82 |
|
2017 Conference Publication A verification framework for stateful security protocolsLi, Li, Dong, Naipeng, Pang, Jun, Sun, Jun, Bai, Guangdong, Liu, Yang and Dong, Jin Song (2017). A verification framework for stateful security protocols. 19th International Conference on Formal Engineering Methods (ICFEM), Xian, Peoples Republic of China, 13-17 November 2017. Cham, Switzerland: Springer International Publishing. doi: 10.1007/978-3-319-68690-5_16 |
|
2017 Conference Publication Privilege Leakage and Information Stealing through the Android Task MechanismXiao, Yinhao, Bai, Guangdong, Mao, Jian, Liang, Zhenkai and Cheng, Wei (2017). Privilege Leakage and Information Stealing through the Android Task Mechanism. 1st IEEE Symposium on Privacy-Aware Computing (PAC), Washington Dc, Aug 01-04, 2017. NEW YORK: IEEE. doi: 10.1109/PAC.2017.29 |
|
2016 Conference Publication Automatic construction of callback model for android applicationGuo, Chenkai, Ye, Quanqi, Dong, Naipeng, Bai, Guangdong, Dong, Jin Song and Xu, Jing (2016). Automatic construction of callback model for android application. 21st International Conference on Engineering of Complex Computer Systems (ICECCS), Dubai, United Arab Emirates, 6-8 November 2016. Los Alamitos, CA, United States: IEEE Computer Society. doi: 10.1109/ICECCS.2016.041 |
|
2014 Journal Article Context-aware usage control for Web of ThingsBai, Guangdong, Yan, Lin, Gu, Liang, Guo, Yao and Chen, Xiangqun (2014). Context-aware usage control for Web of Things. Security and Communication Networks, 7 (12), 2696-2712. doi: 10.1002/sec.424 |
|
2014 Conference Publication DroidVault: A Trusted Data Vault for Android DevicesLi, Xiaolei, Hu, Hong, Bai, Guangdong, Jia, Yaoqi, Liang, Zhenkai and Saxena, Prateek (2014). DroidVault: A Trusted Data Vault for Android Devices. 19th International Conference on Engineering of Complex Computer Systems (ICECCS), Tianjin, China, 4-7 August 2014. Piscataway, NJ United States: IEEE. doi: 10.1109/iceccs.2014.13 |
|
2014 Conference Publication TrustFound: Towards a formal foundation for model checking trusted computing platformsBai, Guangdong, Hao, Jianan, Wu, Jianliang, Liu, Yang, Liang, Zhenkai and Martin, Andrew (2014). TrustFound: Towards a formal foundation for model checking trusted computing platforms. FM: International Symposium on Formal Methods, Singapore, Singapore, 12-16 May 2014. Heidelberg, Germany: Springer. doi: 10.1007/978-3-319-06410-9_8 |
