Follow
David Cerdeira
David Cerdeira
Centro Algoritmi
Verified email at dei.uminho.pt
Title
Cited by
Cited by
Year
Sok: Understanding the prevailing security vulnerabilities in trustzone-assisted tee systems
D Cerdeira, N Santos, P Fonseca, S Pinto
2020 IEEE Symposium on Security and Privacy (SP), 1416-1432, 2020
2092020
Operating systems for internet of things low-end devices: Analysis and benchmarking
M Silva, D Cerdeira, S Pinto, T Gomes
IEEE Internet of Things Journal 6 (6), 10375-10383, 2019
392019
{ReZone}: Disarming {TrustZone} with {TEE} Privilege Reduction
D Cerdeira, J Martins, N Santos, S Pinto
31st USENIX Security Symposium (USENIX Security 22), 2261-2279, 2022
212022
Towards a trusted execution environment via reconfigurable FPGA
S Pereira, D Cerdeira, C Rodrigues, S Pinto
arXiv preprint arXiv:2107.03781, 2021
72021
Secure and Policy-Compliant Query Processing on Heterogeneous Computational Storage Architectures
H Unnibhavi, D Cerdeira, A Barbalace, N Santos, P Bhatotia
Proceedings of the 2022 International Conference on Management of Data, 1462 …, 2022
42022
Bao-enclave: Virtualization-based enclaves for arm
S Pereira, J Sousa, S Pinto, J Martins, D Cerdeira
2022 IEEE 8th World Forum on Internet of Things (WF-IoT), 1-6, 2022
32022
Self-secured devices: High performance and secure I/O access in TrustZone-based systems
S Pinto, P Machado, D Oliveira, D Cerdeira, T Gomes
Journal of Systems Architecture 119, 102238, 2021
32021
Providing trusted execution environments using FPGA
SAG Pereira, DM Cerdeira, CAA Rodrigues, S Pinto
2022
Security assurance of an In-vehicle HMI Manager: specifying certifiable software for In-vehicle infotainment systems
DM Cerdeira
2018
The system can't perform the operation now. Try again later.
Articles 1–9