Sok: Understanding the prevailing security vulnerabilities in trustzone-assisted tee systems

D Cerdeira, N Santos, P Fonseca… - 2020 IEEE Symposium …, 2020 - ieeexplore.ieee.org
Hundreds of millions of mobile devices worldwide rely on Trusted Execution Environments
(TEEs) built with Arm TrustZone for the protection of security-critical applications (eg, DRM) …

SoK: Security in real-time systems

M Hasan, A Kashinath, CY Chen, S Mohan - ACM Computing Surveys, 2024 - dl.acm.org
Security is an increasing concern for real-time systems (RTS). Over the last decade or so,
researchers have demonstrated attacks and defenses aimed at such systems. In this article …

Rt-tee: Real-time system availability for cyber-physical systems using arm trustzone

J Wang, A Li, H Li, C Lu, N Zhang - 2022 IEEE Symposium on …, 2022 - ieeexplore.ieee.org
Embedded devices are becoming increasingly pervasive in safety-critical systems of the
emerging cyber-physical world. While trusted execution environments (TEEs), such as ARM …

Bao: A lightweight static partitioning hypervisor for modern multi-core embedded systems

J Martins, A Tavares, M Solieri… - Workshop on next …, 2020 - drops.dagstuhl.de
Given the increasingly complex and mixed-criticality nature of modern embedded systems,
virtualization emerges as a natural solution to achieve strong spatial and temporal isolation …

{ReZone}: Disarming {TrustZone} with {TEE} Privilege Reduction

D Cerdeira, J Martins, N Santos, S Pinto - 31st USENIX Security …, 2022 - usenix.org
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 …

Ec: Embedded systems compartmentalization via intra-kernel isolation

A Khan, D Xu, DJ Tian - 2023 IEEE Symposium on Security and …, 2023 - ieeexplore.ieee.org
Embedded systems comprise of low-power microcontrollers and constitute computing
systems from IoT nodes to supercomputers. Unfortunately, due to the low power constraint …

A first look at RISC-V virtualization from an embedded systems perspective

B Sá, J Martins, S Pinto - IEEE Transactions on Computers, 2021 - ieeexplore.ieee.org
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 core …

eWASM: Practical Software Fault Isolation for Reliable Embedded Devices

G Peach, R Pan, Z Wu, G Parmer… - … on Computer-Aided …, 2020 - ieeexplore.ieee.org
As we connect more microcontrollers to the Internet and employ them to control the physical
world around us, their reliability and security are increasingly important. Many …

Operating systems for Internet of Things low-end devices: Analysis and benchmarking

M Silva, D Cerdeira, S Pinto… - IEEE Internet of Things …, 2019 - ieeexplore.ieee.org
In the era of the Internet of Things (IoT), billions of wirelessly connected embedded devices
rapidly became part of our daily lives. As a key tool for each Internet-enabled object …

uTango: an open-source TEE for IoT devices

D Oliveira, T Gomes, S Pinto - IEEE Access, 2022 - ieeexplore.ieee.org
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 security …