11 citations · 20 across the 8 of their papers we have counts for
9 papers
IRQ Coloring and the Subtle Art of Mitigating Interrupt-generated Interference
Diogo Costa, Luca Cuomo, Daniel Oliveira +5
Integrating workloads with differing criticality levels presents a formidable challenge in achieving the stringent spatial and temporal isolation requirements imposed by safety-cri…
Shedding Light on Static Partitioning Hypervisors for Arm-based Mixed-Criticality Systems
José Martins, Sandro Pinto
In this paper, we aim to understand the properties and guarantees of static partitioning hypervisors (SPH) for Arm-based mixed-criticality systems (MCS). To this end, we performed…
CVA6 RISC-V Virtualization: Architecture, Microarchitecture, and Design Space Exploration
Bruno Sá, Luca Valente, José Martins +3
Virtualization is a key technology used in a wide range of applications, from cloud computing to embedded systems. Over the last few years, mainstream computer architectures were e…
Bao-Enclave: Virtualization-based Enclaves for Arm
Samuel Pereira, Joao Sousa, Sandro Pinto +2
General-purpose operating systems (GPOS), such as Linux, encompass several million lines of code. Statistically, a larger code base inevitably leads to a higher number of potential…
ReZone: Disarming TrustZone with TEE Privilege Reduction
David Cerdeira, José Martins, Nuno Santos +1
In TrustZone-assisted TEEs, the trusted OS has unrestricted access to both secure and normal world memory. Unfortunately, this architectural limitation has opened an aisle of explo…
Shifting Capsule Networks from the Cloud to the Deep Edge
Miguel Costa, Diogo Costa, Tiago Gomes +1
Capsule networks (CapsNets) are an emerging trend in image processing. In contrast to a convolutional neural network, CapsNets are not vulnerable to object deformation, as the rela…
Towards a Trusted Execution Environment via Reconfigurable FPGA
Sérgio Pereira, David Cerdeira, Cristiano Rodrigues +1
Trusted Execution Environments (TEEs) are used to protect sensitive data and run secure execution for security-critical applications, by providing an environment isolated from the…
A First Look at RISC-V Virtualization from an Embedded Systems Perspective
Bruno Sá, José Martins, Sandro Pinto
This article describes the first public implementation and evaluation of the latest version of the RISC-V hypervisor extension (H-extension v0.6.1) specification in a Rocket chip c…
uTango: an open-source TEE for IoT devices
Daniel Oliveira, Tiago Gomes, Sandro Pinto
Security is one of the main challenges of the Internet of Things (IoT). IoT devices are mainly powered by low-cost microcontrollers (MCUs) that typically lack basic hardware securi…