???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; .
Identification

Personal identification

Full name
DAVID MARTINS CERDEIRA

Citation names

  • CERDEIRA, DAVID

Author identifiers

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

Email addresses

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

Telephones

Mobile phone
  • (+351) 9260326257 (Personal)

Websites

Knowledge fields

  • Engineering and Technology - Electrotechnical Engineering, Electronics and Informatics

Languages

Language Speaking Reading Writing Listening Peer-review
Portuguese (Mother tongue)
English Upper intermediate (B2) Proficiency (C2) Advanced (C1) Proficiency (C2) Advanced (C1)
Education
Degree Classification
2018/10/01 - 2023/04/01
Ongoing
 Engenharia Eletrónica e de Computadores (Doutoramento)
Major in Sistemas Embebidos
Universidade do Minho, Portugal
2012/09/14 - 2018/03/17
Concluded
 Engenharia Eletrónica Industrial e Computadores (Mestrado integrado)
Major in 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" (THESIS/DISSERTATION)
 16
Affiliation

Science

Category
Host institution 		Employer
2018/08/01 - 2019/01/01 Researcher (Research) 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 Researcher (Research) Universidade do Minho Escola de Engenharia, Portugal
Universidade do Minho Escola de Engenharia, Portugal

Teaching in Higher Education

Category
Host institution 		Employer
2021/03/01 - 2021/09/01 Invited Assistant (University Teacher) Universidade do Minho - Campus de Azurém, Portugal
2019/10/01 - 2020/04/01 Assistant (Polytechnic Teacher) Instituto Politécnico do Cávado e do Ave Escola Superior de Tecnologia, Portugal
Projects

Grant

Designation Funders
2017/01/12 - 2018/06/30 INNOVCAR: Innovation for Smart Vehicles
POCI-01-0247-FEDER-002797
Research Fellow
Outputs

Publications

Conference paper
  1. Cerdeira, David; Santos, Nuno; Fonseca, Pedro; Pinto, Sandro. "SoK: Understanding the Prevailing Security Vulnerabilities in TrustZone-assisted TEE Systems". Paper presented in Security and Privacy, 2020.
    Published • 10.1109/sp40000.2020.00061
Journal article
  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):
    Published
Online resource
  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.