???global.info.a_carregar???
DAVID MARTINS CERDEIRA. Atua na(s) área(s) de Ciências da Engenharia e Tecnologias com ênfase em Engenharia Eletrotécnica, Eletrónica e Informática. No seu currículo Ciência Vitae os termos mais frequentes na contextualização da produção científica, tecnológica e artístico-cultural são: TrustZone; Embedded Linux; Software Development; Embedded Systems; Project Management; Security Engineering; .
Identificação

Identificação pessoal

Nome completo
DAVID MARTINS CERDEIRA

Nomes de citação

  • CERDEIRA, DAVID

Identificadores de autor

Ciência ID
9E12-3E62-04CA
ORCID iD
0000-0002-1348-0272

Endereços de correio eletrónico

  • david.cerdeira@dei.uminho.pt (Profissional)

Telefones

Telemóvel
  • (+351) 9260326257 (Pessoal)

Websites

Domínios de atuação

  • Ciências da Engenharia e Tecnologias - Engenharia Eletrotécnica, Eletrónica e Informática

Idiomas

Idioma Conversação Leitura Escrita Compreensão Peer-review
Português (Idioma materno)
Inglês Utilizador independente (B2) Utilizador proficiente (C2) Utilizador proficiente (C1) Utilizador proficiente (C2) Utilizador proficiente (C1)
Formação
Grau Classificação
2018/09/01 - 2024/11/26
Concluído
 Electronics and Computers Engineering (Doutoramento)
Especialização em Industrial Informatics and Embedded Systems
Universidade do Minho, Portugal
"Towards Trustworthy TrustZone-Assisted TEEs" (TESE/DISSERTAÇÃO)
 Very Good
2012/09/14 - 2018/03/17
Concluído
 Engenharia Eletrónica Industrial e Computadores (Mestrado integrado)
Especialização em Sistemas Embedidos; Sistemas de Informação
Universidade do Minho Escola de Engenharia, Portugal
"Security Assurance of an In-Vehicle HMI Manager: Specifying Certifiable Software for In-Vehicle Infotainment Systems" (TESE/DISSERTAÇÃO)
 16
Percurso profissional

Ciência

Categoria Profissional
Instituição de acolhimento 		Empregador
2018/08/01 - 2019/01/01 Investigador (Investigação) Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
2017/01/12 - 2018/06/30 Investigador (Investigação) Universidade do Minho Escola de Engenharia, Portugal
Universidade do Minho Escola de Engenharia, Portugal

Docência no Ensino Superior

Categoria Profissional
Instituição de acolhimento 		Empregador
2021/03/01 - 2021/09/01 Assistente Convidado (Docente Universitário) Universidade do Minho - Campus de Azurém, Portugal
2019/10/01 - 2020/04/01 Assistente (Docente Ensino Superior Politécnico) Instituto Politécnico do Cávado e do Ave Escola Superior de Tecnologia, Portugal
Projetos

Bolsa

Designação Financiadores
2023/06/01 - Atual Cross-platform Open Security Stack for Connected Devices
101070537
Investigador
Em curso
2022/12/12 - 2023/06/12 neXt Sense - Safety Connected and Automated Vehicles
SIFN-01-9999-FN-179491
Investigador
2019/08/01 - 2019/09 SENSIBLE CAR: Automated Driving
POCI-01-0247-FEDER-047264
Investigador
Concluído
2018/08/01 - 2019/07/31 Instituto de Engenharia de Sistemas e Computadores, Investigação e Desenvolvimento em Lisboa
UID/CEC/50021/2013
Investigador
Concluído
2017/01/12 - 2018/06/30 INNOVCAR: Innovation for Smart Vehicles
POCI-01-0247-FEDER-002797
Investigador
Produções

Publicações

Artigo em conferência
  1. Samuel Pereira; João Sousa; Sandro Pinto; José Martins; David Cerdeira. "Bao-Enclave: Virtualization-based Enclaves for Arm". 2022.
    10.1109/wf-iot54382.2022.10152074
  2. Harshavardhan Unnibhavi; David Cerdeira; Antonio Barbalace; Nuno Santos; Pramod Bhatotia. "Secure and Policy-Compliant Query Processing on Heterogeneous Computational Storage Architectures". 2022.
    10.1145/3514221.3517913
  3. David Cerdeira; José Martins; Nuno Santos; Sandro Pinto. "ReZone: Disarming TrustZone with TEE Privilege Reduction". 2022.
    10.48550/ARXIV.2203.01025
  4. Cerdeira, David; Santos, Nuno; Fonseca, Pedro; Pinto, Sandro. "SoK: Understanding the Prevailing Security Vulnerabilities in TrustZone-assisted TEE Systems". Trabalho apresentado em Security and Privacy, 2020.
    Publicado • 10.1109/sp40000.2020.00061
Artigo em revista
  1. Pinto, Sandro; Machado, Pedro; Oliveira, Daniel; Cerdeira, David; Gomes, Tiago. "Self-secured devices: High performance and secure I/O access in TrustZone-based systems". Journal of Systems Architecture 119 (2021): 102238. http://dx.doi.org/10.1016/j.sysarc.2021.102238.
    10.1016/j.sysarc.2021.102238
  2. Miguel Silva; David Cerdeira; Sandro Pinto; Tiago Gomes. "Operating Systems for Internet of Things Low-end Devices: Analysis and Benchmarking". IEEE Internet of Things Journal (2018):
    Publicado
Recurso online
  1. Sérgio Pereira; David Cerdeira; Cristiano Rodrigues; Sandro Pinto. Towards a Trusted Execution Environment via Reconfigurable FPGA. 2021. https://arxiv.org/abs/2107.03781.