David Cerdeira

13 papers A* 2Journal 8Unranked 2
YearRankTypeTitle / Venue / Authors
2025 J jnl
AnyTEE: An Open and Interoperable Software Defined TEE Framework.
IEEE Access
David Cerdeira, José Martins, Nuno Santos, Sandro Pinto
2025 J jnl
Rethinking Trusted Execution Environments in the Age of Reconfigurable Computing.
IEEE Access
Sérgio Pereira, David Cerdeira, Cristiano Rodrigues, Sandro Pinto
2024 J jnl
BiRtIO: VirtIO for Real-Time Network Interface Sharing on the Bao Hypervisor.
IEEE Access
João Peixoto, José Martins, David Cerdeira, Sandro Pinto
2024 — —
Towards trustworthy TrustZone-assisted TEEs
David Cerdeira
2022 — conf
Bao-Enclave: Virtualization-based Enclaves for Arm.
WF-IoT
Samuel Pereira, João Sousa, Sandro Pinto, José Martins, David Cerdeira
2022 J jnl
Bao-Enclave: Virtualization-based Enclaves for Arm.
CoRR
Samuel Pereira, João Sousa, Sandro Pinto, José Martins, David Cerdeira
2022 A* conf
ReZone: Disarming TrustZone with TEE Privilege Reduction.
USENIX Security Symposium
David Cerdeira, José Martins, Nuno Santos, Sandro Pinto
2022 J jnl
ReZone: Disarming TrustZone with TEE Privilege Reduction.
CoRR
David Cerdeira, José Martins, Nuno Santos, Sandro Pinto
2022 — conf
Secure and Policy-Compliant Query Processing on Heterogeneous Computational Storage Architectures.
SIGMOD Conference
Harshavardhan Unnibhavi, David Cerdeira, Antonio Barbalace, Nuno Santos, Pramod Bhatotia
2021 J jnl
Self-secured devices: High performance and secure I/O access in TrustZone-based systems.
J. Syst. Archit.
Sandro Pinto, Pedro Machado, Daniel Oliveira, David Cerdeira, Tiago Gomes
2021 J jnl
Towards a Trusted Execution Environment via Reconfigurable FPGA.
CoRR
Sérgio Pereira, David Cerdeira, Cristiano Rodrigues, Sandro Pinto
2020 A* conf
SoK: Understanding the Prevailing Security Vulnerabilities in TrustZone-assisted TEE Systems.
SP
David Cerdeira, Nuno Santos, Pedro Fonseca, Sandro Pinto
2019 J jnl
Operating Systems for Internet of Things Low-End Devices: Analysis and Benchmarking.
IEEE Internet Things J.
Miguel Silva, David Cerdeira, Sandro Pinto, Tiago Gomes