Operating Systems for Internet of Things Low-End Devices: Analysis and Benchmarking. - Miguel Silva; David Cerdeira; Sandro Pinto 001; Tiago Gomes 001 (IEEE Internet Things J., 2019)

SoK: Understanding the Prevailing Security Vulnerabilities in TrustZone-assisted TEE Systems. - David Cerdeira; Nuno Santos 001; Pedro Fonseca 001; Sandro Pinto 001 (SP, 2020)

Towards a Trusted Execution Environment via Reconfigurable FPGA. - Sérgio Pereira; David Cerdeira; Cristiano Rodrigues; Sandro Pinto 001 (CoRR, 2021)

Self-secured devices: High performance and secure I/O access in TrustZone-based systems. - Sandro Pinto 001; Pedro Machado; Daniel Oliveira 003; David Cerdeira; Tiago Gomes 001 (J. Syst. Archit., 2021)

Secure and Policy-Compliant Query Processing on Heterogeneous Computational Storage Architectures. - Harshavardhan Unnibhavi; David Cerdeira; Antonio Barbalace; Nuno Santos 001; Pramod Bhatotia (SIGMOD Conference, 2022)

ReZone: Disarming TrustZone with TEE Privilege Reduction. - David Cerdeira; José Martins; Nuno Santos 001; Sandro Pinto 001 (USENIX Security Symposium, 2022)

Bao-Enclave: Virtualization-based Enclaves for Arm. - Samuel Pereira; João Sousa; Sandro Pinto 001; José Martins; David Cerdeira (WF-IoT, 2022)

BiRtIO: VirtIO for Real-Time Network Interface Sharing on the Bao Hypervisor. - João Peixoto; José Martins; David Cerdeira; Sandro Pinto 001 (IEEE Access, 2024)

Towards trustworthy TrustZone-assisted TEEs - David Cerdeira (2024)

AnyTEE: An Open and Interoperable Software Defined TEE Framework. - David Cerdeira; José Martins; Nuno Santos 001; Sandro Pinto 001 (IEEE Access, 2025)