Towards Model Checking Android Applications
Guangdong Bai, Quanqi Ye, Yongzheng Wu, Botha, Heila, Jun Sun, Yang Liu, Jin Song Dong, Visser, Willem
Published in IEEE transactions on software engineering (01.06.2018)
Published in IEEE transactions on software engineering (01.06.2018)
Get full text
Journal Article
Analyzing Security Property of Android Application Implementation Using Formal Method
Quanqi Ye
Published in 2015 20th International Conference on Engineering of Complex Computer Systems (ICECCS) (01.12.2015)
Published in 2015 20th International Conference on Engineering of Complex Computer Systems (ICECCS) (01.12.2015)
Get full text
Conference Proceeding
Deep Attentive Factorization Machine for App Recommendation Service
Guo, Chenkai, Xu, Yifan, Hou, Xiaolei, Dong, Naipeng, Xu, Jing, Ye, Quanqi
Published in 2019 IEEE International Conference on Web Services (ICWS) (01.07.2019)
Published in 2019 IEEE International Conference on Web Services (ICWS) (01.07.2019)
Get full text
Conference Proceeding
Formal Analysis of a Single Sign-On Protocol Implementation for Android
Quanqi Ye, Guangdong Bai, Kailong Wang, Jin Song Dong
Published in 2015 20th International Conference on Engineering of Complex Computer Systems (ICECCS) (01.12.2015)
Published in 2015 20th International Conference on Engineering of Complex Computer Systems (ICECCS) (01.12.2015)
Get full text
Conference Proceeding
App Genome: Callback Sequencing in Android
Chenkai Guo, Naipeng Dong, Guangdong Bai, Quanqi Ye, Jinsong Dong, Jing Xu, Guannan Si
Published in 2017 IEEE/ACM 39th International Conference on Software Engineering Companion (ICSE-C) (01.05.2017)
Published in 2017 IEEE/ACM 39th International Conference on Software Engineering Companion (ICSE-C) (01.05.2017)
Get full text
Conference Proceeding
Automatic Construction of Callback Model for Android Application
Chenkai Guo, Quanqi Ye, Naipeng Dong, Guangdong Bai, Jin Song Dong, Jing Xu
Published in 2016 21st International Conference on Engineering of Complex Computer Systems (ICECCS) (01.11.2016)
Published in 2016 21st International Conference on Engineering of Complex Computer Systems (ICECCS) (01.11.2016)
Get full text
Conference Proceeding
GateKeeper: Operator-centric Trusted App Management Framework on ARM TrustZone
Gowrisankar, Balachandar, Mashima, Daisuke, Ong, Wenshei, Ye, Quanqi, Esiner, Ertem, Chen, Binbin, Kalbarczyk, Zbigniew
Published in 2022 IEEE Conference on Communications and Network Security (CNS) (03.10.2022)
Published in 2022 IEEE Conference on Communications and Network Security (CNS) (03.10.2022)
Get full text
Conference Proceeding
Deep Review Sharing
Guo, Chenkai, Huang, Dengrong, Dong, Naipeng, Ye, Quanqi, Xu, Jing, Fan, Yaqing, Yang, Hui, Xu, Yifan
Published in 2019 IEEE 26th International Conference on Software Analysis, Evolution and Reengineering (SANER) (01.02.2019)
Published in 2019 IEEE 26th International Conference on Software Analysis, Evolution and Reengineering (SANER) (01.02.2019)
Get full text
Conference Proceeding
Systematic Comprehension for Developer Reply in Mobile System Forum
Guo, Chenkai, Wang, Weijing, Wu, Yanfeng, Dong, Naipeng, Ye, Quanqi, Xu, Jing, Zhang, Sen
Published in 2019 IEEE 26th International Conference on Software Analysis, Evolution and Reengineering (SANER) (01.02.2019)
Published in 2019 IEEE 26th International Conference on Software Analysis, Evolution and Reengineering (SANER) (01.02.2019)
Get full text
Conference Proceeding
All Your Sessions Are Belong to Us: Investigating Authenticator Leakage through Backup Channels on Android
Bai, Guangdong, Sun, Jun, Wu, Jianliang, Ye, Quanqi, Li, Li, Dong, Jin Song, Guo, Shanqing
Published in 2015 20th International Conference on Engineering of Complex Computer Systems (ICECCS) (01.12.2015)
Published in 2015 20th International Conference on Engineering of Complex Computer Systems (ICECCS) (01.12.2015)
Get full text
Conference Proceeding