???global.info.a_carregar???
Dr. Sandro Pinto is a Principal Investigator (equiv. Associate Professor) at Centro ALGORITMI, University of Minho. Dr. Sandro Pinto holds a PhD, Masters, and Bachelor in Electronic and Computer Engineering from the University of Minho. He was also visiting researcher at the Asian Institute of Technology (Thailand), the Universität Würzburg (Germany), and the Jilin University (China). His research interests include operating systems, virtualization, and security for embedded, cyber-physical, and IoT-based systems. Dr. Sandro Pinto is a long-term supporter of open source projects and a proud member of the RISC-V Foundation. Dr. Sandro Pinto is co-author of more than 70 publications, counting more than 1100 citations (h-index 16 and i10-index 25), including articles and papers on top-tier international journals (e.g., IEEE Transactions on Computers, ACM Computing Surveys, IEEE Internet of Things Journal) and conferences (e.g., IEEE S&P, Usenix Security, ECRTS, IEEE RTAS) related to embedded and IoT-based systems. He is also co-author of a book entitled "C KISS: Keep It Simple and Straightforward while playing and enjoying with C in a programming lab" published in China. Sandro has been regular reviewer of ISI JCT journals such as: IEEE Transac. on Computers, IEEE Transac. on Industrial Electronics, IEEE Internet Computing, IEEE Internet of Things Journal, IEEE Sensors Letters, Frontiers of Computer Science, and many others. Over the last eight years Sandro has been teaching embedded and real-time systems, computer architectures, and microcontrollers courses at the University of Minho and the Asian Institute of Technology. Sandro has more than 10 awards, including a Best WiP Paper at ETFA Conference, and he was nominated best Engineering student at University of Minho for several years.
Identificação

Identificação pessoal

Nome completo
Sandro Emanuel Salgado Pinto
Data de nascimento
1989/05/10

Nomes de citação

  • Pinto, Sandro

Identificadores de autor

Ciência ID
4E1A-2D40-5AEE
ORCID iD
0000-0003-4580-7484
Google Scholar ID
jfgyrakAAAAJ
Scopus Author Id
57192264631

Endereços de correio eletrónico

  • sandro.pinto@dei.uminho.pt (Profissional)

Telefones

Telefone
  • (+351) 253510180 (Profissional)
Telemóvel
  • (+351) 916386640 (Pessoal)

Moradas

  • Centro Algoritmi - Universidade do Minho - Campus de Azurém, 4800-058, Azurém, Guimarães, Portugal (Profissional)

Websites

  • algoritmi.uminho.pt/member-profile/sandro-emanuel-salgado-pinto/0200064/ (Académico)
  • www.researchgate.net/profile/Sandro_Pinto2 (Académico)

Domínios de atuação

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

Idiomas

Idioma Conversação Leitura Escrita Compreensão Peer-review
Português (Idioma materno)
Inglês Utilizador proficiente (C1) Utilizador proficiente (C1) Utilizador proficiente (C1) Utilizador proficiente (C1)
Francês Utilizador elementar (A2) Utilizador independente (B1) Utilizador elementar (A2) Utilizador independente (B1)
Formação
Grau Classificação
2013 - 2017
Concluído
PDEEC - Programa Doutoral em Engenharia Electrónica e de Computadores (Doutoramento)
Universidade do Minho - Campus de Azurém, Portugal
"Secure and Safe Virtualization-based Framework for Embedded Systems Development" (TESE/DISSERTAÇÃO)
Very Good (Approved unanimously, highest grade)
2007 - 2012
Concluído
Mestrado Integrado em Engenharia Eletrónica Industrial e Computadores (Mestrado integrado)
Especialização em Sistemas Embebidos
Universidade do Minho - Campus de Azurém, Portugal
"Sistema Operativo Orientado a Objetos: porting, expansão e configuração" (TESE/DISSERTAÇÃO)
19
Percurso profissional

Ciência

Categoria Profissional
Instituição de acolhimento
Empregador
2021 - Atual Investigador principal (carreira) (Investigação) Universidade do Minho Centro ALGORITMI, Portugal
2017/11/01 - 2021 Investigador Auxiliar (carreira) (Investigação) Universidade do Minho Centro ALGORITMI, Portugal

Docência no Ensino Superior

Categoria Profissional
Instituição de acolhimento
Empregador
2017/09/01 - 2021/08/31 Professor Auxiliar Convidado (Docente Universitário) Department of Industrial Electronics, University of Minho, Portugal
2013/09/01 - 2017/08/01 Assistente (Docente Universitário) Department of Industrial Electronics, University of Minho, Portugal
2014/09/01 - 2014/11/30 Assistente (Docente Universitário) Asian Institute of Technology, Tailândia
Projetos

Bolsa

Designação Financiadores
2021 - Atual CAMES: Capability Architectures for Mixed-Criticality Embedded Systems
2021.07707.BD
Orientador
2021 - Atual Auto-Defense: Side-channel Attacks on Automotive Sensors
2021.07241.BD
Orientador
2020 - Atual Handling Mixed-Criticality Systems on Low-end and Low-power IoT Devices
2020.04585.BD
Orientador
2020 - Atual Software-based microarchitectural attacks on low-end IoT devices
2020.08729.BD
Orientador
2020 - Atual Virtualization Infrastructure for Automotive Safety Applications
2020.08686.BD
Orientador
2019 - Atual Tango: Towards Trustworthy Trusted Execution Environments
SFRH/BD/146231/2019
Orientador
2019 - Atual Trustable Machine Learning Development for Edge Devices
SFRH/BD/146780/2019
Orientador
2019 - Atual Securing the Internet of Things through patchable hardware
SFRH/BD/145209/2019
Orientador
2018 - Atual Trustworthy Real-Time Virtualization for Heterogeneous Platforms
SFRH/BD/138660/2018
Orientador

Projeto

Designação Financiadores
2022 - Atual Hypervisor based failure mitigation strategy in mixed-criticality systems
IRQ-COL-HYP-HUAWEI
Investigador responsável
2018 - 2021/12/31 Sensible Car
037902, SENSIBLE CAR
Investigador
Universidade do Minho Escola de Engenharia, Portugal
2018 - 2021 Easy Ride: Experience is everything
039334
Investigador
Universidade do Minho, Portugal
2017 - 2021 WALL VIDEO GENNERATION – Hardware Accelerator (MOG WALL SCREEN)
POCI-01-0247-FEDER-017891
Bolseiro de Gestão de Ciência e Tecnologia
Universidade do Minho Escola de Engenharia, Portugal
2015 - 2018 INNOVCAR: Innovation for Smart Vehicles
POCI-01-0247-FEDER-002797
Investigador
Universidade do Minho Escola de Engenharia, Portugal
2011 - 2012 ClimaWin: An intelligent window for optimal ventilation and minimum thermal loss
262262
Investigador
Universidade do Minho - Campus de Azurém, Portugal
Produções

Publicações

Artigo em conferência
  1. CERDEIRA, DAVID; Pinto, Sandro. "REZONE: Disarming TrustZone with TEE Privilege Reduction". Trabalho apresentado em USENIX Security, 2022.
    Aceite para publicação
  2. Pinto, Sandro. "Secure IoT Firmware For Cortex-M Processors". Trabalho apresentado em Embedded World Conference, 2021.
    Publicado
  3. Pinto, Sandro. "Secure IoT Firmware For RISC-V Processors". Trabalho apresentado em Embedded World Conference, 2021.
    Publicado
  4. Pinto, Sandro. "uTango: an open-source TEE for the Internet of Things". Trabalho apresentado em to be published, 2021.
    No prelo
  5. Cesare Garlati; Pinto, Sandro. "A Clean Slate Approach to Linux Security RISC-V Enclaves". Trabalho apresentado em Embedded World Conference 2020, 2020.
  6. Pinto, Sandro; Cesare Garlati. "Multi Zone Security for Arm Cortex-M Devices". Trabalho apresentado em Embedded World Conference 2020, 2020.
  7. David Cerdeira; Nuno Santos; Pedro Fonseca; Pinto, Sandro. "SoK: Understanding the Prevailing Security Vulnerabilities in TrustZone-assisted TEE Systems". Trabalho apresentado em IEEE Symposium on Security and Privacy, San Francisco, 2020.
  8. José Martins; Adriano Tavares; Marco Solieri; Marko Bertogna; Pinto, Sandro. "Bao: A Lightweight Static Partitioning Hypervisor for Modern Multi-Core Embedded Systems". Trabalho apresentado em Workshop on Next Generation Real-Time Embedded Systems (NG-RES 2020), Bologna, 2020.
    10.4230/OASIcs.NG-RES.2020.3
  9. Pinto, Sandro. "Bao: a modern lightweight embedded hypervisor". Trabalho apresentado em Embedded World Conference 2020, 2020.
  10. Rodrigues, Cristiano; Marques, Ivo; Pinto, Sandro; Gomes, Tiago; Tavares, Adriano. "Towards a Heterogeneous Fault-Tolerance Architecture based on Arm and RISC-V Processors". 2019.
    10.1109/iecon.2019.8926844
  11. Pinto, Sandro; José Martins. "The industry-first secure IoT stack for RISC-V: a research project". Trabalho apresentado em RISC-V Workshop, 2019.
  12. Pinto, Sanndro; Araujo, Hugo; Oliveira, Daniel; Martins, Jose; Tavares, Adriano. "Virtualization on TrustZone-Enabled Microcontrollers? Voilà!". 2019.
    10.1109/rtas.2019.00032
  13. Miguel Silva; Pinto, Sandro; Jorge Cabral; V. Bexiga; Fernando Piedade; João Rodrigues .; José Dias. "WallScreen: Plataforma de Nova Geração para a Gestão de Vídeo 8K UHD". Trabalho apresentado em XV Jornadas sobre Sistemas Reconfiguráveis (REC 2019), 2019.
  14. Pinto, Sandro; Cesare Garlati. "User Mode Interrupts: A Must for Securing Embedded Systems". Trabalho apresentado em Embedded World Conference 2019, 2019.
  15. Ivo Marques; Cristiano Rodrigues; Pinto, Sandro; Tiago Gomes; Adriano Tavares. "Arquitetura Heterogénea para Sistemas Tolerantes a Falhas Baseada em Arm e RISC-V". Trabalho apresentado em XV Jornadas sobre Sistemas Reconfiguráveis – REC’2019, 2019.
  16. José Ribeiro; Nuno Silva; Pinto, Sandro; Adriano Tavares. "A TrustZone-assisted Hypervisor Supporting Dynamic Partial Reconfiguration". Trabalho apresentado em XIV Jornadas sobre Sistemas Reconfiguráveis, 2018.
  17. Sérgio Pereira; Adriano Tavares; Pinto, Sandro. "Towards a Secure Hardware-Software Co-Designed Framework for Reconfigurable Platforms". Trabalho apresentado em XIV Jornadas sobre Sistemas Reconfiguráveis 2018, 2018.
  18. Oliveira, D.; Gomes, T.; Pinto, S.. "Towards a Green and Secure Architecture for Reconfigurable IoT End-Devices". 2018.
    10.1109/ICCPS.2018.00041
  19. Oliveira, A.; Martins, J.; Cabral, J.; Tavares, A.; Pinto, S.. "TZ- VirtIO: Enabling Standardized Inter-Partition Communication in a Trustzone-Assisted Hypervisor". 2018.
    10.1109/ISIE.2018.8433781
  20. Lopes, J.; Martins, J.; Tavares, A.; Pinto, S.. "DIHyper: Providing Lifetime Hypervisor Data Integrity". 2018.
    10.1109/ISIE.2018.8433832
  21. Pinto, Sandro; José Martins; Jose Lopes; Miguel Abreu; Adriano Tavares. "SecSSy Hypervisor: Security-Safety Synergy for Aerospace". Trabalho apresentado em Data Systems in Aerospace (DASIA), 2017.
  22. Pinto, S.; Cabral, J.; Gomes, T.. "We-care: An IoT-based health care system for elderly people". 2017.
    10.1109/ICIT.2017.7915565
  23. Pinto, S.; Pereira, J.; Gomes, T.; Tavares, A.; Cabral, J.. "LTZVisor: TrustZone is the key". 2017.
    10.4230/LIPIcs.ECRTS.2017.4
  24. Pinto, S.; Oliveira, A.; Pereira, J.; Cabral, J.; Monteiro, J.; Tavares, A.. "Lightweight multicore virtualization architecture exploiting ARM TrustZone". 2017.
    10.1109/IECON.2017.8216603
  25. Sandro Pinto; Adriano Tavares; Sergio Montenegro. "Hypervisor for Real Time Space Applications". Trabalho apresentado em 4S Symposium, 2016.
  26. Gomes, T.; Salgado, F.; Pinto, S.; Cabral, J.; Tavares, A.. "Towards an FPGA-based network layer filter for the Internet of Things edge devices". 2016.
    10.1109/ETFA.2016.7733684
  27. Machado, R.; Pinto, S.; Cabral, J.; Tavares, A.. "FPGA vendor-agnostic IP-XACT- and XSLT-based RTL design generator". 2016.
    10.1109/MELCON.2016.7495380
  28. Pinto, S.; Tavares, A.; Montenegro, S.. "Space and time partitioning with hardware support for space applications". 2016.
  29. Qaralleh, E.; Lima, D.; Gomes, T.; Tavares, A.; Pinto, S.. "HcM-FreeRTOS: Hardware-centric FreeRTOS for ARM multicore". 2015.
    10.1109/ETFA.2015.7301570
  30. Pinto, S.; Oliveira, D.; Pereira, J.; Cabral, J.; Tavares, A.. "FreeTEE: When real-time and security meet". 2015.
    10.1109/ETFA.2015.7301571
  31. Gomes, T.; Pinto, S.; Garcia, P.; Tavares, A.. "RT-SHADOWS: Real-time system hardware for agnostic and deterministic OSes within softcore". 2015.
    10.1109/ETFA.2015.7301572
  32. Gomes, T.; Pinto, S.; Tavares, A.; Cabral, J.. "Towards an FPGA-based edge device for the Internet of Things". 2015.
    10.1109/ETFA.2015.7301601
  33. Pinto, S.; Pereira, J.; Oliveira, D.; Alves, F.; Qaralleh, E.; Ekpanyapong, M.; Cabral, J.; Tavares, A.. "Porting SLOTH system to FreeRTOS running on ARM Cortex-M3". 2014.
    10.1109/ISIE.2014.6864903
  34. Pinto, S.; Oliveira, D.; Pereira, J.; Cardoso, N.; Ekpanyapong, M.; Cabral, J.; Tavares, A.. "Towards a lightweight embedded virtualization architecture exploiting ARM TrustZone". 2014.
    10.1109/ETFA.2014.7005255
  35. Pereira, J.; Oliveira, D.; Pinto, S.; Cardoso, N.; Silva, V.; Gomes, T.; Mendes, J.; Cardoso, P.. "Co-designed FreeRTOS deployed on FPGA". 2014.
    10.1109/SBESC.2014.11
  36. Gomes, T.; Garcia, P.; Pinto, S.; Salgado, F.; Cabral, J.; Monteiro, J.; Tavares, A.. "Hardware-software extensions to a softcore processor for FPGA-based adaptive PID control". 2013.
    10.1109/ISIE.2013.6563670
  37. Pinto, S.; Castro, T.; Brito, N.; Gomes, T.; Tavares, A.; Mendes, J.; Cabral, J.. "ClimaWin: An intelligent window for optimal ventilation and minimum thermal loss". 2013.
    10.1109/ISIE.2013.6563790
  38. Lobo, T.; Pinto, S.; Silva, V.; Lopes, S.; Cabral, J.; Tavares, A.; Yoowattana, S.; Sritriratanarak, W.; Ekpanyapong, M.. "LP805X: A customizable and low power 8051 soft core for FPGA applications". 2013.
    10.1109/ISIE.2013.6563739
  39. Pinto, S.; Castro, T.; Mendes, J.; Lopes, S.; Ekpanyapong, M.; Tavares, A.. "Exploiting template metaprogramming to customize an object-oriented operating system". 2013.
    10.1109/ISIE.2013.6563724
  40. Salgado, F.; Garcia, P.; Gomes, T.; Vale, J.; Pinto, S.; Cabral, J.; Ekpanyapong, M.. "Shifting SOA to MPSoC: An exploratory example of application". 2012.
    10.1109/ETFA.2012.6489726
Artigo em revista
  1. Ivo Marques; João Sousa; Bruno Sá; Diogo Costa; Pedro Sousa; Samuel Pereira; Afonso Santos; et al. "Microphone Array for Speaker Localization and Identification in Shared Autonomous Vehicles". Electronics (2022): https://doi.org/10.3390/electronics11050766.
    10.3390/electronics11050766
  2. Ricardo Roriz; Andre Campos; Sandro Pinto; Tiago Gomes. "DIOR: A Hardware-Assisted Weather Denoising Solution for LiDAR Point Clouds". IEEE Sensors Journal 22 2 (2022): 1621-1628. https://doi.org/10.1109/JSEN.2021.3133873.
    10.1109/JSEN.2021.3133873
  3. Daniel Oliveira; Tiago Gomes; Sandro Pinto. "uTango: An Open-Source TEE for IoT Devices". IEEE Access 10 (2022): 23913-23930. https://doi.org/10.1109/ACCESS.2022.3152781.
    10.1109/ACCESS.2022.3152781
  4. Costa, Miguel; Costa, Diogo; Gomes, Tiago; Pinto, Sandro. Autor correspondente: Costa, Miguel. "Shifting Capsule Networks from the Cloud to the Deep Edge". ACM Transactions on Intelligent Systems and Technology (2022):
    Aceite para publicação
  5. Costa, Diogo; Costa, Miguel; Pinto, Sandro. "Train me if you can: decentralized learning on the deep edge". MDPI Applied Sciences (2022):
    Aceite para publicação
  6. Pinto, Sandro. "A First Look at RISC-V Virtualization from an Embedded Systems Perspective". IEEE Transactions on Computers (2021):
    No prelo • 10.1109/TC.2021.3124320
  7. Pinto, Sandro; Machado, Pedro; Oliveira, Daniel; Cerdeira, David; Gomes, Tiago. Autor correspondente: Pinto, Sandro. "Self-secured devices: High performance and secure I/O access in TrustZone-based systems". Journal of Systems Architecture 119 (2021):
    Publicado • 10.1016/j.sysarc.2021.102238
  8. Pinto, Sandro. "Wall Screen: An Ultra-High Definition Video-Card for the Internet of Things". IEEE Multimedia 27 3 (2020): 76-87. https://doi.org/10.1109/MMUL.2020.3011595.
    10.1109/MMUL.2020.3011595
  9. Daniel Oliveira; Miguel Costa; Sandro Pinto; Tiago Gomes. "The Future of Low-End Motes in the Internet of Things: A Prospective Paper". Electronics 9 1 (2020): 111-111. https://doi.org/10.3390/electronics9010111.
    10.3390/electronics9010111
  10. 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 6 6 (2019): 10375-10383. https://doi.org/10.1109/JIOT.2019.2939008.
    10.1109/JIOT.2019.2939008
  11. Costa, Miguel; Oliveira, Daniel; Pinto, Sandro; Tavares, Adriano. "Detecting Driver’s Fatigue, Distraction and Activity Using a Non-Intrusive Ai-Based Monitoring System". Journal of Artificial Intelligence and Soft Computing Research 9 4 (2019): 247-266. http://dx.doi.org/10.2478/jaiscr-2019-0007.
    10.2478/jaiscr-2019-0007
  12. Pinto, Sandro; Santos, Nuno. "Demystifying Arm TrustZone: A Comprehensive Survey". ACM Computing Surveys 51 6 (2019): 1-36. http://dx.doi.org/10.1145/3291047.
    10.1145/3291047
  13. Silva, M.; Tavares, A.; Gomes, T.; Pinto, S.. "ChamelIoT: an Agnostic Operating System Framework for Reconfigurable IoT Devices". IEEE Internet of Things Journal (2019): http://www.scopus.com/inward/record.url?eid=2-s2.0-85051006634&partnerID=MN8TOARS.
    10.1109/JIOT.2018.2863545
  14. Gomes, T.; Salgado, F.; Pinto, S.; Cabral, J.; Tavares, A.. "A 6LoWPAN Accelerator for Internet of Things Endpoint Devices". IEEE Internet of Things Journal 5 1 (2018): 371-377. http://www.scopus.com/inward/record.url?eid=2-s2.0-85039768420&partnerID=MN8TOARS.
    10.1109/JIOT.2017.2785659
  15. Gomes, T.; Pinto, S.; Salgado, F.; Tavares, A.; Cabral, J.. "Building IEEE 802.15.4 Accelerators for Heterogeneous Wireless Sensor Nodes". IEEE Sensors Letters 1 1 (2017): 1-4. http://dx.doi.org/10.1109/lsens.2017.2681625.
    10.1109/lsens.2017.2681625
  16. Song, D.; Tavares, A.; Pinto, S.; Xu, H.. "Setting engineering students up for success in the 21st century: Integrating gamification and crowdsourcing into a CDIO-based web design course". Eurasia Journal of Mathematics, Science and Technology Education 13 7 (2017): 3565-3585. http://www.scopus.com/inward/record.url?eid=2-s2.0-85021448053&partnerID=MN8TOARS.
    10.12973/eurasia.2017.00745a
  17. Pinto, S.; Gomes, T.; Pereira, J.; Cabral, J.; Tavares, A.. "IIoTEED: An Enhanced, Trusted Execution Environment for Industrial IoT Edge Devices". IEEE Internet Computing 21 1 (2017): 40-47. http://www.scopus.com/inward/record.url?eid=2-s2.0-85012295286&partnerID=MN8TOARS.
    10.1109/MIC.2017.17
  18. Pinto, S.; Pereira, J.; Gomes, T.; Ekpanyapong, M.; Tavares, A.. "Towards a TrustZone-assisted hypervisor for real-time embedded systems". IEEE Computer Architecture Letters 16 2 (2017): 158-161. http://www.scopus.com/inward/record.url?eid=2-s2.0-85044466055&partnerID=MN8TOARS.
    10.1109/LCA.2016.2617308
  19. Martins, J.; Alves, J.; Cabral, J.; Tavares, A.; Pinto, S.. "µRTZvisor: A secure and safe real-time hypervisor". Electronics (Switzerland) 6 4 (2017): http://www.scopus.com/inward/record.url?eid=2-s2.0-85034598167&partnerID=MN8TOARS.
    10.3390/electronics6040093
  20. Salgado, F.; Gomes, T.; Pinto, S.; Cabral, J.; Tavares, A.. "Condition Codes Evaluation on Dynamic Binary Translation for Embedded Platforms". IEEE Embedded Systems Letters 9 3 (2017): 89-92. http://www.scopus.com/inward/record.url?eid=2-s2.0-85023768111&partnerID=MN8TOARS.
    10.1109/LES.2017.2718531
  21. Gomes, T.; Pereira, J.; Garcia, P.; Salgado, F.; Silva, V.; Pinto, S.; Ekpanyapong, M.; Tavares, A.. "Hybrid real-time operating systems: Deployment of critical FreeRTOS features on FPGA". International Journal of Embedded Systems 8 5-6 (2016): 483-492. http://www.scopus.com/inward/record.url?eid=2-s2.0-84997355368&partnerID=MN8TOARS.
    10.1504/IJES.2016.080386
  22. Gomes, T.; Garcia, P.; Pinto, S.; Monteiro, J.; Tavares, A.. "Bringing Hardware Multithreading to the Real-Time Domain". IEEE Embedded Systems Letters 8 1 (2016): 2-5. http://www.scopus.com/inward/record.url?eid=2-s2.0-84963830536&partnerID=MN8TOARS.
    10.1109/LES.2015.2486384
Capítulo de livro
  1. Jorge Pereira; Daniel Oliveira; Pedro Matos; Rui Machado; Pinto, Sandro; Tiago Gomes; Vítor Silva; et al. "Hardware-assisted real-time operating system deployed on FPGA". In Fortschritt-Berichte VDI, 81-93. 2014.
Livro
  1. Hao Xu; Pinto, Sandro; Yu Xia; Adriano Tavares. C KISS: Keep It Simple and Straightforward while playing and enjoying with C in a programming lab. China: China Railway Publishing House. 2017.
    Publicado
Atividades

Apresentação oral de trabalho

Título da apresentação Nome do evento
Anfitrião (Local do evento)
2021/03 uTango: Open Source TEE for TrustZone-M Devices Embedded World Conference
2021/03 Secure IoT Firmware for RISC-V Processors Embedded World Conference
2021/03 Secure IoT Firmware for Cortex-M Processors Embedded World Conference
2021 The Future of RISC-V Heterogeneous Embedded Virtualization Architectures RISC-V Summit
2020/12 Static Partitioning Virtualization on RISC-V RISC-V Summit
2020/12 Secure IoT Firmware for RISC-V RISC-V Summit
2020/10 RISC-V Virtualization: Hypervisor Extension and PLIC support RISC-V Hypervisor Technical Group
2020/02 A Clean Slate Approach to Linux Security RISC-V Enclaves Embedded World Conference
(Nuremberg, Alemanha)
2020/02 Multi Zone Security for Arm Cortex-M Devices Embedded World Conference
(Nurember, Alemanha)
2020/02 Bao: a modern lightweight embedded hypervisor Embedded World Conference
(Nuremberg, Alemanha)
2020 May the Trust be with You: Empowering TrustZone-M with Multiple Trusted Environments BlackHat Asia 2020
(Singapura)
2019/12 How to secure a RISC-V System in 90 minutes - From Single Core MCU to Mixed Criticality SMP Linux RISC-V Summit
(San José, Estados Unidos)
2019/09 How to Build & Secure a RISC-V Embedded System Hardwear.io
(The Hague, Países Baixos)
2019/02 The Industry-first Secure IoT Stack for RISC-V – a Research Project RISC-V Trusted Execution Environment (TEE) Technical Group
2019 User mode interrupts: A Must for Securing Embedded Systems Embedded World
(Nuremberg, Alemanha)
2019 Virtualization on TrustZone-enabled Microcontrollers? Voilà! IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS)
(Montreal, Canadá)
2018/05 Secure by Design IoT Endpoint Device
State Key Lab of AMSV (Macau, China)
2018/01 TrustZone-assisted Virtualization
University of Modena (Modena)
2018 A TrustZone-assisted Hypervisor Supporting Dynamic Partial Reconfiguration XIV Jornadas sobre Sistemas Reconfiguráveis (REC)
(Monte da Caparica, Portugal)
2018 Towards a green and secure architecture for reconfigurable IoT end-devices ACM/IEEE International Conference on Cyber-Physical Systems
(Porto (aka Oporto), Portugal)
2018 DIHyper: providing lifetime Hypervisor Data Integrity IEEE 27th International Symposium on Industrial Electronics
(Cairns, Austrália)
2018 TZ-VirtIO: enabling standardized inter-partition communication in a TrustZone-assisted hypervisor IEEE 27th International Symposium on Industrial Electronics
(Cairns, Austrália)
2017/12 Securing IoT Endpoint Devices
Jilin University (Changchun, China)
2017 We-care: An IoT-based health care system for elderly people IEEE International Conference on Industrial Technology (ICIT)
(Toronto, Canadá)
2017 SecSSy Hypervisor: Security-Safety Synergy for Aerospace Data Systems In Aerospace (DASIA)
(Suécia)
2017 LTZVisor: TrustZone is the Key Euromicro Conference on Real-Time Systems (ECRTS)
(Dubrovnik, Croácia)
2016 Space and time partitioning with hardware support for space applications Data Systems In Aerospace (DASIA)
(Tallin, Estónia)
2015/09 HcM-FreeRTOS: Hardware-centric FreeRTOS for ARM multicore IEEE Int. Conf. Emerging Tech. & Factory Autom. (ETFA)
(Luxemburgo)
2015/03 Arm Multicore OS – AMP vs SMP
Jilin University (Changchun, China)
2015 FreeTEE: When real-time and security meet IEEE Conference on Emerging Technologies and Factory Automation (ETFA)
(Luxemburgo)
2015 RT-SHADOWS: Real-time system hardware for agnostic and deterministic OSes within softcore IEEE Conference on Emerging Technologies and Factory Automation (ETFA)
(Luxemburgo)
2015 HcM-FreeRTOS: Hardware-centric FreeRTOS for ARM multicore IEEE Conference on Emerging Technologies and Factory Automation (ETFA)
(Luxemburgo)
2014 Porting SLOTH system to FreeRTOS running on ARM Cortex-M3 IEEE International Symposium on Industrial Electronics (ISIE)
(Istanbul, Turquia)

Orientação

Título / Tema
Papel desempenhado
Curso (Tipo)
Instituição / Organização
2020/12 - Atual Virtualization Infrastructure for Automotive Safety Applications
Coorientador de Afonso Santos
Universidade do Minho, Portugal
2020/09 - Atual Software-based Microarchitectural Attacks on Low-end IoT Devices
Orientador de Cristiano Rodrigues
Universidade do Minho, Portugal
2020 - Atual A Federated Learning Framework for the Next-Generation Machine Learning Systems
Orientador de Diogo Costa
2020 - Atual Lightweight Static Partitioning Virtualization on RISC-V
Orientador de João Sousa
2020 - Atual baoEnclave: a virtualization-based user-space enclave for Arm processors
Orientador de Samuel Costa
2019/12 - Atual Securing the Internet of Things through patchable hardware
Coorientador de Sérgio Pereira
Universidade do Minho, Portugal
2018/09 - Atual Trustable Machine Learning Development for Edge Devices
Orientador de Miguel Costa
Universidade do Minho, Portugal
2018 - Atual Trustworthy Real-Time Virtualization for Heterogeneous Platforms
Orientador de José Martins
2018 - Atual Handling Mixed-Criticality Systems on Low-End and Low-Power IoT Devices
Orientador de Daniel Oliveira
2018 - Atual Tango: Towards Trustworthy Trusted Execution Environments
Coorientador
2018 - Atual High-Level Hardware Synthesis for ADAS
Orientador de Pedro Lopes
2018 - Atual ChamelIoT: Agnostic Operating Systems Framework for Reconfigurable IoT Devices
Coorientador de Miguel Silva
2019 - 2021 Contention and predictability on Arm Cortex-M TrustZone-enabled MCUs (Armv8-M - M23 e M33)
Orientador de Pedro Leite
2019 - 2021 RISC-V Lightweight Virtualization Extensions
Orientador de Bruno Sá
2018 - 2020 Multi-Guest OS on LTZVisor
Orientador de Afonso Macedo dos Santos
2018 - 2019 Micro-Architectural Timing Side-Channel Attacks on ARM
Orientador de João Reis
2018 - 2019 Lightweight Hypervisor for a RISC-V Core
Orientador de José Leite da Silva
2018 - 2019 Reconfigurable Hardware for New Generation IoT Video-Vard and Software Stack
Orientador de Ricardo Moreira
2017 - 2018 Ontology-Driven Metamodeling Towards Hypervisor Design Automation: uKernel Infrastructure
Orientador de José Martins
2017 - 2018 Ontology-Driven Metamodeling Towards Hypervisor Design Automation: Secure IPC
Orientador de João Alves
2017 - 2018 Porting LTZVisor for the i.MX 6Quad SABRE board
Orientador de Ailton Lopes
2017 - 2018 lLTZVisor: A Lightweight TrustZone-assisted Hypervisor for low-end ARM devices
Orientador de Hugo Araújo
2017 - 2018 Trust SecSi CoDe: TrustZone-assisted Secure Silicon on a CoDesign Framework
Orientador de Sérgio Pereira
2017 - 2018 Enabling System Survival Across Hypervisor Failures
Orientador de Ricardo Roriz
2017 - 2018 RISC-V Virtualization Extensions
Orientador de Adriano Faria
2016 - 2017 Multicore Embedded Virtualization Architecture Exploiting ARM TrustZone
Coorientador de André Oliveira
2016 - 2017 Extending the Security Spectrum of ARM TrustZone Technology
Orientador de Eduardo Mendes
2016 - 2017 Xvisor Deployment under Zynq-7000
Coorientador de João Silva
2016 - 2017 Ontology-Driven Metamodeling Towards Hypervisor Design Automation: Runtime Security and Data Integrity
Coorientador
2014 - 2015 Porting e expansão de um µkernel SMP baseado em P-Thread para uma plataforma ARM Quad-core
Coorientador de Carlos Fernandes
2014 - 2015 Porting Sloth System for ARM Multicore
Coorientador de Diogo Lima
2014 - 2015 Desenvolvimento de um µkernel SMP de tempo-real para plataformas ARM multicore
Coorientador de Raphael Gonçalves
2013 - 2014 TrustVisor: Hipervisor para Sistemas de Tempo Real baseado na Tecnologia ARM TrustZone
Coorientador de Jorge Pereira
2013 - 2014 AC-Visor: Hipervisor Assimétrico-Cooperativo baseado na Tecnologia ARM TrustZone
Coorientador de Daniel Oliveira

Organização de evento

Nome do evento
Tipo de evento (Tipo de participação)
Instituição / Organização
2020 - 2020 Track Segurança de Sistemas de Computadores e Comunicações (SSCC) at INFORUM2020 (2020 - 2020)
Conferência (Coorganizador)
Instituto Politécnico de Lisboa Instituto Superior de Engenharia de Lisboa, Portugal
2019 - 2019 REC 2019 - XV Jornadas sobre Sistemas Reconfiguráveis (2019/02/14 - 2019/02/15)
Conferência (Coorganizador)
Universidade do Minho Escola de Engenharia, Portugal
2018 - 2018 REC 2018 - XIV Jornadas sobre Sistemas Reconfiguráveis (2018)
Conferência (Coorganizador)
Universidade Nova de Lisboa, Portugal

Arbitragem científica em conferência

Nome da conferência Local da conferência
2022 - Atual IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS)
2020 - 2020 Jornadas sobre Sistemas Reconfiguráveis (REC)
2019 - 2019 Industrial Electronics, Control, and Instrumentation Conference (IECON)
2017 - 2019 INForum
2016 - 2016 DYNA
2015 - 2016 Industrial Electronics, Control, and Instrumentation Conference (IECON)

Arbitragem científica em revista

Nome da revista (ISSN) Editora
2017 - Atual IEEE Internet of Things Journal (2327-4662) Institute of Electrical and Electronics Engineers
2018 - 2018 Expert Systems (1468-0394) Wiley (Blackwell Publishing)
2018 - 2018 Journal of King Saud University - Computer and Information Sciences (1319-1578) Elsevier
2017 - 2017 IEEE Sensors Letters (2475-1472) Institute of Electrical and Electronics Engineers
2017 - 2017 IEEE Transactions on Industrial Electronics (1557-9948) Institute of Electrical and Electronics Engineers
2017 - 2017 Frontiers of Computer Science (2095-2236) Springer-Verlag
2016 - 2016 IEEE Internet Computing (1941-0131) Institute of Electrical and Electronics Engineers

Membro de comissão

Descrição da atividade
Tipo de participação
Instituição / Organização
2019 - 2019 XV Jornadas sobre Sistemas Reconfiguráveis
2018 - 2018 10º INForum
2018 - 2018 XIV Jornadas sobre Sistemas Reconfiguráveis
2017 - 2017 9º INForum
Distinções

Prémio

2021 Xilinx Open Hardware Design Competition
2019 Higher Education Mobility Erasmus+ (Royal University of Phnom Penh)
Universidade do Minho, Portugal
2018 Higher Education Mobility Erasmus+ (Royal University of Phnom Penh)
Universidade do Minho, Portugal
2017 Higher Education Mobility Erasmus+ (Jilin University)
Universidade do Minho, Portugal
2015 EDP re:dy Challenge Award
EDP, Portugal
2014 Work in Progress Best Paper Award in Emerging Technhologies
IEEE International Conference on Emerging Technologies and Factory Automation., Estados Unidos
2013 Associação Industrial do Minho Award
Universidade do Minho, Portugal
2013 Ordem dos Engenheiros Award
Ordem dos Engenheiros, Portugal
2012 Student of Merit Award (Prémio de Mérito Escolar)
2012 Caixa Geral de Depósitos Award
Universidade do Minho, Portugal
2011 Mesquita Rodrigues Award
Fundação Rotária Portuguesa , Portugal
2011 Governo Civil de Braga Award
Universidade do Minho, Portugal
2011 Governo Civil de Braga e Câmara Municipal de Guimarães Award
Sociedade Martins Sarmento , Portugal
2011 Student of Merit Award (Prémio de Mérito Escolar)
Universidade do Minho, Portugal
2010 Caixa Geral de Depósitos Award
Universidade do Minho, Portugal
2010 Student of Merit Award (Prémio de Mérito Escolar)
Universidade do Minho, Portugal
2009 Caixa Geral de Depósitos Award
Universidade do Minho, Portugal
2009 Student of Merit Award (Prémio de Mérito Escolar)
Universidade do Minho, Portugal