Algoritmi | User | David Martins Cerdeira
David Martins Cerdeira
David Martins Cerdeira
At LASI
Other with MSc
Member of the CALG R&D Unit
Academic Degree
MSc
Current Position
Other at Escola de Engenharia da Universidade do Minho
Personal Webpage
Personal Email
david.cerdeira@dei.uminho.ptOrcid
0000-0002-1348-0272Researcher ID
FCT Public Key
J800471sBNPR
Ciência ID
Google Scholar
Publications (5)
Self-secured devices: High performance and secure I/O access in TrustZone-based systems
Journal of Systems Architecture
2021 | journal-article
Towards a Trusted Execution Environment via Reconfigurable FPGA
2021 | online-resource
SoK: Understanding the Prevailing Security Vulnerabilities in TrustZone-assisted TEE Systems
Security and Privacy
2020 | conference-paper
SoK: Understanding the Prevailing Security Vulnerabilities in TrustZone-Assisted TEE Systems
IEEE S&P 2020
2020 | conference-paper
Operating Systems for Internet of Things Low-end Devices: Analysis and Benchmarking
IEEE Internet of Things Journal
2018 | journal-article
Self-secured devices: High performance and secure I/O access in TrustZone-based systems
Journal of Systems Architecture
2021 | journal-article
Towards a Trusted Execution Environment via Reconfigurable FPGA
2021 | online-resource
SoK: Understanding the Prevailing Security Vulnerabilities in TrustZone-assisted TEE Systems
Security and Privacy
2020 | conference-paper
SoK: Understanding the Prevailing Security Vulnerabilities in TrustZone-Assisted TEE Systems
IEEE S&P 2020
2020 | conference-paper
Operating Systems for Internet of Things Low-end Devices: Analysis and Benchmarking
IEEE Internet of Things Journal
2018 | journal-article
