|
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. |
|
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 |
|
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. |
