Lucas Davi, Alexandra Dmitrienko, Christoph Kowalski, Marcel Winandy. Trusted virtual domains on OKL4: secure information sharing on smartphones. In Yan Chen, Shouhuai Xu, Ahmad-Reza Sadeghi, Xinwen Zhang, editors, Proceedings of the sixth ACM workshop on Scalable trusted computing, STC@CCS 2011, Chicago, Illinois, USA, October 17, 2011. pages 49-58, ACM, 2011. [doi]
Abstract is missing.