David Cerdeira

According to our database, David Cerdeira authored at least 12 papers between 2019 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Rethinking Trusted Execution Environments in the Age of Reconfigurable Computing.

Sérgio Pereira, David Cerdeira, Cristiano Rodrigues, Sandro Pinto

IEEE Access, 2025

AnyTEE: An Open and Interoperable Software Defined TEE Framework.

David Cerdeira, José Martins, Nuno Santos, Sandro Pinto

IEEE Access, 2025

Towards a Formal Verification of the Bao Hypervisor.

Alberto Tacchella, Jurij Mihelic, David Cerdeira, José Martins, Sandro Pinto, Bruno Crispo, Marco Roveri

Proceedings of the Foundations and Practice of Security - 18th International Symposium, 2025

2024

Towards trustworthy TrustZone-assisted TEEs

David Cerdeira

PhD thesis, 2024

BiRtIO: VirtIO for Real-Time Network Interface Sharing on the Bao Hypervisor.

João Peixoto, José Martins, David Cerdeira, Sandro Pinto

IEEE Access, 2024

2022

Bao-Enclave: Virtualization-based Enclaves for Arm.

Samuel Pereira, João Sousa, Sandro Pinto, José Martins, David Cerdeira

Proceedings of the 8th IEEE World Forum on Internet of Things, 2022

ReZone: Disarming TrustZone with TEE Privilege Reduction.

David Cerdeira, José Martins, Nuno Santos, Sandro Pinto

Proceedings of the 31st USENIX Security Symposium, 2022

Secure and Policy-Compliant Query Processing on Heterogeneous Computational Storage Architectures.

Harshavardhan Unnibhavi, David Cerdeira, Antonio Barbalace, Nuno Santos, Pramod Bhatotia

Proceedings of the SIGMOD '22: International Conference on Management of Data, Philadelphia, PA, USA, June 12, 2022

2021

Self-secured devices: High performance and secure I/O access in TrustZone-based systems.

Sandro Pinto, Pedro Machado, Daniel Oliveira, David Cerdeira, Tiago Gomes

J. Syst. Archit., 2021

Towards a Trusted Execution Environment via Reconfigurable FPGA.

Sérgio Pereira, David Cerdeira, Cristiano Rodrigues, Sandro Pinto

CoRR, 2021

2020

SoK: Understanding the Prevailing Security Vulnerabilities in TrustZone-assisted TEE Systems.

David Cerdeira, Nuno Santos, Pedro Fonseca, Sandro Pinto

Proceedings of the 2020 IEEE Symposium on Security and Privacy, 2020

2019

Operating Systems for Internet of Things Low-End Devices: Analysis and Benchmarking.

Miguel Silva, David Cerdeira, Sandro Pinto, Tiago Gomes

IEEE Internet Things J., 2019