Are there good reasons for protecting mobile phones with hypervisors?

2011 IEEE Consumer Communications and Networking Conference, CCNC'2011

Volumn , Issue , 2011, Pages 906-911

  Gehrmann, Christian ^a   Douglas, Heradon ^a   Nilsson, Dennis Kengo ^a  

^a SWEDISH INSTITUTE OF COMPUTER SCIENCE   (Sweden)

Author keywords

[No Author keywords available]

Indexed keywords

CONSUMER DEVICES; HYPERVISOR; SECURE EXECUTION; SECURE SERVICES; SECURITY ARCHITECTURE; SECURITY COMPONENTS; SECURITY THREATS; SOFTWARE PLATFORMS;

DESIGN; EMBEDDED SYSTEMS; LEGACY SYSTEMS; MOBILE DEVICES; MOBILE PHONES; TELEPHONE; TELEPHONE SETS;

MOBILE TELECOMMUNICATION SYSTEMS;

EID: 79957886393     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/CCNC.2011.5766638     Document Type: Conference Paper

References (23)

1. K. Stammberger, "Current trends in cyber attacks on mobile and embedded systems, " Embedded Computing Design, September 2009. Available:http://embedded-computing.com/current-trends-cyber-attacksmobile- embedded-systems
2. ARM TrustZone Technology. Available: http://www.arm.com/products/ processors/technologies/trustzone.php
3. J. E. Smith, and R. Nair, Virtual machines: versatile platforms for systems and processes. Morgan Kaufmann Publishers, USA 2005.
4. CP 67. Available: http://en.wikipedia.org/wiki/IBM-System/360-Model-67
5. VMware. Available: http://www.vmware.com/
6. G. Heiser, "The Role of Virtualization in Embedded Systems", First Workshop on Isolation and Integration in Embedded systems (IIES ́08), April 2008.
7. OKL4 Microvisor. Available: http://www.ok-labs.com/products/okl4- microvisor
8. A. Seshadri, M. Luk, N. Qu, and A. Perrig, "SecVisor: A Tiny Hypervisor to Provide Lifetime Kernel Code Integrity for Commodity OSes", Proceedings of the 21st Symposium on Operating System Principles(SOSP 2007), October 2007.
9. M. Xu, X. Jiang, R. Sandhu, and X. Zhang, "Towards a VMM-based Usage Control Framework for OS Kernel Integrity Protection", Proceedings of the 12th ACM Symposium on Access Control Models and Technologies (SACMAT 2007), June 2007.
10. X. Chen, T. Garfinkel, E. C. Lewis, P. Subrahmanyam, C. A. Waldspurger, D. Boneh, J. Dwoskin, and D. Ports, "Overshadow: A Virtualization-Based Approach to Retrofitting Protection in Commodity Operating Systems", Proceedings of the 13th Annual International ACM Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), March 2008.
11. J. Yang and K. G. Shin, "Using Hypervisor to Provide Data Secrecy for User Applications on a Per-Page Basis", Proceedings of the Fourth ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments (VEE '08), pp. 71-80, March 2008.
12. L. Litty, H. A. Lagar-Cavilla, and D. Lie, "Hypervisor Support for Identifying Covertly Executing Binaries", Proceedings of the 17th USENIX Security Symposium, pp. 243-258, July 2008.
13. J. Brakensiek, A. Dröge, M. Botteck, H. Härtig, and A. Lackorzynski, "Virtualization as an Enabler for Security in Mobile Devices", First Workshop on Isolation and Integration in Embedded Systems (IIES '08) , April 2008.
14. F. Armand and M. Gien, "A Practical Look at Micro-Kernels and Virtual Machine Monitors", Proceedings of the 6th Consumer Communications and Networking Conference (IEEE CCNC '09), January 2009.
15. VirtualLogix Available: http://www.virtuallogix.com/
16. G. Heiser, "Benchmarks: How not to do them", accessed May 2010. Available: http://www.ok-labs.com/blog/entry/benchmarks-how-not-todo- them/
17. G. Klein, K. Elphinstone, G. Heiser, J. Andronick, D. Cock, P. Derrin, D. Elkaduwe, K. Engelhardt, R. Kolanski, M. Norrish, T. Sewell, H. Tuch, and S. Winwood, "seL4: Formal Verification of an OS Kernel", Proceedings of the 22nd ACM Symposium on OS Principles (SOSP '09) , October 2009.
18. P. Barham, B. Dragovic, K. Fraser, S. Hand, T. Harris, A. Ho, R. Neugebauer, I. Pratt, and A. Warfield, "Xen and the Art of Virtualization", Proceedings of the nineteenth ACM symposium on Operating Systems Principles (SOSP), vol. 37, 5, ACM Press, pp. 164- 177, October 2003. (Pubitemid 40929695)
19. J-Y. Hwang, S-B. Suh, S-K. Heo, C-J. Park, J-M. Ryu, S-Y. Park, and C-R. Kim, "Xen on ARM: System Virtualization using Xen Hypervisor for ARM-based Secure Mobile Phones", 5th IEEE Consumer Communications and Networking Conference (CCNC 2008), January 2008.
20. T. Ormandy, "An empirical Study into the Security Exposure to Hosts of Hostile Virtualized Environments", CanSecWest, April 2007. Available: http://taviso.decsystem.org/virtsec.pdf
21. C. Gehrmann and P. Ståhl, "Mobile Platform Security", Ericsson Review, No. 02, 2006. Available: http://www.ericsson.com/ericsson/ corpinfo/publications/review/2006-0 2/files/mobile-platform-security.pdf
22. Open Virtual Platforms. Available: http://www-ovpworld.org/
23. ST-Ericsson, U8500 smart phone platform. Available: http://www. stericsson.com/platforms/U8500.jsp