The most widely deployed mobile virtualization solution
The main reason that embedded systems are becoming increasingly vulnerable is the pervasive use of wireless communication. Besides the already ubiquitous mobile phones, PDAs, and laptops, there is a set of devices, now quite common, whose primary purpose is not communication but which benefit from wireless communication. These include vehicles, access tokens, domestic appliances, and medical devices, among others.
In the world of wireless connectivity, physical access is no longer required in order to compromise a device, and the environment in which such devices operate is increasingly hostile. Devices can be attacked by an invisible foe behind an opaque wall. If the device is connected to the Internet, the attacker can be located anywhere in the world. Furthermore, users who download executable code on their mobile devices open up these devices to attacks from within (by viruses and worms).
Previously, compromised equipment would most likely result in inconvenience and annoyance. Now that devices hold increasing amounts of sensitive personal data, the consequences of security breaches are much more serious.
Moreover, the whole wireless communication infrastructure is potentially vulnerable. Until recently, low-level communication operations were all done by hardware, which is secure from subversion except by the application of physical force. But now even the lowest-level functionality has moved into software (software-defined radio), making it vulnerable to attacks that change the software.
Build Secure Smartphones for the Enterprise
Learn How to Build a More Secure Smartphone
Build Mass-Market Smartphones with Mobile Virtualization
SecureIT Mobile Government White Paper (Chinese Version)
SecureIT Mobile Enterprise (Chinese Version)
Energy Management
Build a Smartphone for the Mass-Market (Korean Version)
The NirvanaPhone Concept Specification and Reference Architeture
Motorola Evoke Teardown
seL4: Formal Verification of an OS Kernel
Automatic Device Driver Synthesis with Termite
The Motorola Evoke QA4 - A Case Study in Mobile Virtualization
Android Migration at the Speed of Light
Virtualization and Componentization in Embedded Systems
Virtualization for Embedded Systems
Role of Virtualization in Embedded Systems
Your System is Secure? Prove it!
Towards Trustworthy Computing Systems: Taking Microkernels to the Next Level
Secure Embedded Systems Need Microkernels