Virtualization is a crucial technology for consolidating workloads and improving resource
utilization in modern computing systems. seL4 is a small TCB (Trusted Computing Base) …

The growing computing power of embedded systems has led to an increase in the use of
general-purpose Operating Systems (OSs) such as Linux. However, the substantial attack …

Virtualization plays an essential role in providing security to computational systems by
isolating execution environments. Many software solutions, called hypervisors, have been …

Embedded virtualization is a key enabler for system designers to meet SWaP-C
requirements for mission critical systems that execute various military, aerospace, medical …

Embedded virtualization possesses inherent challenges which differentiate the domain from
traditional virtualization application fields such as server and desktop computing. Standard …

Virtualization technology starts becoming more and more widespread in the embedded
space. The penalties incurred by standard software-based virtualization is pushing research …

Given the continuous evolution of hardware capabilities for embedded systems, the idea of
virtualization becomes practical. Virtualization on embedded systems provides the running …

Hardware virtualization is a major challenge in embedded virtualization. The key to
improving resource utilization in a virtualized system is to allow maximum possible resource …

Mobile applications are a nascent market waiting to be tapped. Next generation mobiles
offer a promise of specialized hardware such as multi-touch screens (like the Apple iPhone) …

Today's mainstream virtualization systems are plagued by severe security threats due to the
large attack surface exposed by in-kernel hypervisor components such as KVM. To address …