|
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 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 |
|
2013 Conference Publication A Software Environment for Confining Malicious Android Applications via Resource VirtualizationLi, Xiaolei, Bai, Guangdong, Liang, Zhenkai and Yin, Heng (2013). A Software Environment for Confining Malicious Android Applications via Resource Virtualization. 18th International Conference on Engineering of Complex Computer Systems (ICECCS), Singapore, 17-19 July 2013. Piscataway, NJ United States: IEEE. doi: 10.1109/iceccs.2013.38 |
|
2013 Conference Publication vTRUST: a formal modeling and verification framework for virtualization systemsHao, Jianan, Liu, Yang, Cai, Wentong, Bai, Guangdong and Sun, Jun (2013). vTRUST: a formal modeling and verification framework for virtualization systems. 15th International Conference on Formal Engineering Methods (ICFEM), Queenstown, New Zealand, 29 October-1 November 2013. Heidelberg, Germany: Springer. |
|
2010 Conference Publication Context-aware usage control for AndroidBai, Guangdong, Gu, Liang, Feng, Tao, Guo, Yao and Chen, Xiangqun (2010). Context-aware usage control for Android. 6th International Conference on Security and Privacy in Communication Networks (SecureComm 2010), Singapore, Singapore, 7-9 September 2010. Heidelberg, Germany: Springer. |
