David Cerdeira

Publication Activity (10 Years)

Years Active: 2019-2022
Publications (10 Years): 9

Top Topics

High Availability

Execution Environment

Query Processing

Operating System

Top Venues

IEEE Symposium on Security and Privacy

USENIX Security Symposium

Publications

Samuel Pereira, Joao Sousa, Sandro Pinto, José Martins, David Cerdeira
Bao-Enclave: Virtualization-based Enclaves for Arm. WF-IoT (2022)
David Cerdeira, José Martins, Nuno Santos, Sandro Pinto
ReZone: Disarming TrustZone with TEE Privilege Reduction. USENIX Security Symposium (2022)
David Cerdeira, José Martins, Nuno Santos, Sandro Pinto
ReZone: Disarming TrustZone with TEE Privilege Reduction. CoRR (2022)
Harshavardhan Unnibhavi, David Cerdeira, Antonio Barbalace, Nuno Santos, Pramod Bhatotia
Secure and Policy-Compliant Query Processing on Heterogeneous Computational Storage Architectures. SIGMOD Conference (2022)
Samuel Pereira, Joao Sousa, Sandro Pinto, José Martins, David Cerdeira
Bao-Enclave: Virtualization-based Enclaves for Arm. CoRR (2022)
Sérgio Pereira, David Cerdeira, Cristiano Rodrigues, Sandro Pinto
Towards a Trusted Execution Environment via Reconfigurable FPGA. CoRR (2021)
Sandro Pinto, Pedro Machado, Daniel Oliveira, David Cerdeira, Tiago Gomes
Self-secured devices: High performance and secure I/O access in TrustZone-based systems. J. Syst. Archit. 119 (2021)
David Cerdeira, Nuno Santos, Pedro Fonseca, Sandro Pinto
SoK: Understanding the Prevailing Security Vulnerabilities in TrustZone-assisted TEE Systems. IEEE Symposium on Security and Privacy (2020)
Miguel Silva, David Cerdeira, Sandro Pinto, Tiago Gomes
Operating Systems for Internet of Things Low-End Devices: Analysis and Benchmarking. IEEE Internet Things J. 6 (6) (2019)