research
∙
08/02/2023
IRQ Coloring and the Subtle Art of Mitigating Interrupt-generated Interference
Integrating workloads with differing criticality levels presents a formi...
share
research
∙
03/20/2023
Shedding Light on Static Partitioning Hypervisors for Arm-based Mixed-Criticality Systems
In this paper, we aim to understand the properties and guarantees of sta...
research
∙
02/06/2023
CVA6 RISC-V Virtualization: Architecture, Microarchitecture, and Design Space Exploration
Virtualization is a key technology used in a wide range of applications,...
research
∙
09/12/2022
Bao-Enclave: Virtualization-based Enclaves for Arm
General-purpose operating systems (GPOS), such as Linux, encompass sever...
research
∙
03/02/2022
ReZone: Disarming TrustZone with TEE Privilege Reduction
In TrustZone-assisted TEEs, the trusted OS has unrestricted access to bo...
research
∙
03/27/2021