???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 co-author of more than 80 publications, counting more than 1500 citations (h-index 18 and i10-index 29), 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. Dr. Sandro Pinto 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. In the past, Dr. Sandro Pinto taught 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 12 awards, including a Best WiP Paper at ETFA Conference, and he was nominated best Engineering student at University of Minho for several years.
Identification

Personal identification

Full name
Sandro Emanuel Salgado Pinto
Date of birth
1989/05/10

Citation names

  • Pinto, Sandro

Author identifiers

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

Email addresses

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

Telephones

Mobile phone
  • (+351) 916386640 (Personal)
Telephone
  • (+351) 253510180 (Professional)

Addresses

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

Websites

Knowledge fields

  • Engineering and Technology - Electrotechnical Engineering, Electronics and Informatics - Computer Hardware and Architecture

Languages

Language Speaking Reading Writing Listening Peer-review
Portuguese (Mother tongue)
English Advanced (C1) Advanced (C1) Advanced (C1) Advanced (C1)
French Elementary (A2) Intermediate (B1) Elementary (A2) Intermediate (B1)
Education
Degree Classification
2013 - 2017
Concluded
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" (THESIS/DISSERTATION)
Very Good (Approved unanimously, highest grade)
2007 - 2012
Concluded
Mestrado Integrado em Engenharia Eletrónica Industrial e Computadores (Mestrado integrado)
Major in Sistemas Embebidos
Universidade do Minho - Campus de Azurém, Portugal
"Sistema Operativo Orientado a Objetos: porting, expansão e configuração" (THESIS/DISSERTATION)
19
Affiliation

Science

Category
Host institution
Employer
2021 - Current Principal Investigator (Research) Universidade do Minho Centro ALGORITMI, Portugal
2017/11/01 - 2021 Auxiliary Researcher (Research) Universidade do Minho Centro ALGORITMI, Portugal

Teaching in Higher Education

Category
Host institution
Employer
2017/09/01 - 2021/08/31 Invited Assistant Professor (University Teacher) Department of Industrial Electronics, University of Minho, Portugal
2013/09/01 - 2017/08/01 Assistant (University Teacher) Department of Industrial Electronics, University of Minho, Portugal
2014/09/01 - 2014/11/30 Assistant (University Teacher) Asian Institute of Technology, Thailand
Projects

Grant

Designation Funders
2024/02/01 - Current CROSS-TEE: Cross-Platform Trusted Execution Environment for Embedded and IoT Devices
2023.00297.BD
Supervisor
Universidade do Minho Centro ALGORITMI, Portugal
Fundação para a Ciência e a Tecnologia
Ongoing
2024/02/01 - Current "BUILTEEN: Hardware-based Security Primitives for TEE-enabled IoT Devices"
2023.01007.BD
Supervisor
Universidade do Minho Centro ALGORITMI, Portugal
Ongoing
2023 - Current ML4TIMCS: Machine Learning for enhancing Temporal Isolation on Mixed-Criticality Systems
2022.13378.BD
Supervisor
Ongoing
2021 - Current CAMES: Capability Architectures for Mixed-Criticality Embedded Systems
2021.07707.BD
Supervisor
Ongoing
2021 - Current Auto-Defense: Side-channel Attacks on Automotive Sensors
2021.07241.BD
Supervisor
Ongoing
2020 - Current Handling Mixed-Criticality Systems on Low-end and Low-power IoT Devices
2020.04585.BD
Supervisor
2020 - Current Software-based microarchitectural attacks on low-end IoT devices
2020.08729.BD
Supervisor
2020 - Current Virtualization Infrastructure for Automotive Safety Applications
2020.08686.BD
Supervisor
2019 - Current Tango: Towards Trustworthy Trusted Execution Environments
SFRH/BD/146231/2019
Supervisor
2019 - Current Trustable Machine Learning Development for Edge Devices
SFRH/BD/146780/2019
Supervisor
2019 - Current Securing the Internet of Things through patchable hardware
SFRH/BD/145209/2019
Supervisor
2018 - Current Trustworthy Real-Time Virtualization for Heterogeneous Platforms
SFRH/BD/138660/2018
Supervisor

Contract

Designation Funders
2022/04 - Current Hypervisor based failure mitigation strategy in mixed-criticality systems
IRQ-COL-HYP-HUAWEI
Principal investigator
Ongoing
2018 - 2021/12/31 Sensible Car
037902, SENSIBLE CAR
Researcher
Universidade do Minho Escola de Engenharia, Portugal
Concluded
2018 - 2021 Easy Ride: Experience is everything
039334
Researcher
Universidade do Minho, Portugal
2017 - 2021 WALL VIDEO GENNERATION – Hardware Accelerator (MOG WALL SCREEN)
POCI-01-0247-FEDER-017891
Science and Technology Management Fellow
Universidade do Minho Escola de Engenharia, Portugal
2015 - 2018 INNOVCAR: Innovation for Smart Vehicles
POCI-01-0247-FEDER-002797
Researcher
Universidade do Minho Escola de Engenharia, Portugal
2011 - 2012 ClimaWin: An intelligent window for optimal ventilation and minimum thermal loss
262262
Researcher
Universidade do Minho - Campus de Azurém, Portugal
Concluded
Outputs

Publications

Book
  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.
    Published
Book chapter
  1. Ziyao Meng; Xue Gu; Qiang Shen; Adriano Tavares; Sandro Pinto; Hao Xu. "H2T-FAST: Head-to-Tail Feature Augmentation by Style Transfer for Long-Tailed Recognition". 2023.
    10.3233/FAIA230456
  2. 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.
Conference abstract
  1. Costa, Francisco; Rodríguez, Manuel; Sá, Bruno Vilaça; Pinto, Sandro. "Open Source RISC-V Advanced Interrupt Architecture (AIA) IP". 2023.
  2. Rodríguez, Manuel; Costa, Francisco; Sá, Bruno Vilaça; Pinto, Sandro. "Open-source RISC-V Input/Output Memory Management Unit (IOMMU) IP". 2023.
  3. Gomes, Tiago Manuel Ribeiro; Pinto, Sandro. "CROSSCON: interoperable IoT Security Stack - the RISC-V opportunity". 2023.
Conference paper
  1. Daniel Oliveira; Weifan Chen; Sandro Pinto; Renato Mancuso. "Investigating and Mitigating Contention on Low-End Multi-Core Microcontrollers". 2023.
    10.1145/3576914.3587513
  2. José Carvalho Martins; Pinto, Sandro. "Shedding Light on Static Partitioning Hypervisors for Arm-based Mixed-Criticality Systems". Paper presented in IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 2023.
    Accepted
  3. Diogo Costa; Luca Cuomo; Daniel Oliveira; Ida Salvino; Bruno Morelli; Jose Martins; Fabrizio Tronci; Alessandro Biasci; Pinto, Sandro. "IRQ Coloring: Mitigating Interrupt-Generated Interference on ARM Multicore Platforms". Paper presented in Fourth Workshop on Next Generation Real-Time Embedded Systems, 2023.
    Accepted
  4. Miguel Costa; Tiago Gomes; Jorge Cabral; João Monteiro; Adriano Tavares; Sandro Pinto. "SecureQNN: Introducing a Privacy-Preserving Framework for QNNs at the Deep Edge". 2023.
    10.1007/978-981-99-7969-1_1
  5. Costa, Diogo; Cuomo, Luca; Oliveira, Daniel; Savino, Ida Maria; Morelli, Bruno; Martins, José; Biasci, Alessandro; Pinto, Sandro. "IRQ Coloring and the Subtle Art of Mitigating Interrupt-Generated Interference". 2023.
    10.1109/rtcsa58653.2023.00015
  6. Pinto, Sandro. "Virtualization today, virtualization tomorrow: problems, challenges, and opportunities for mixed-criticality systems". 2023.
  7. Valente, L.; Veeran, A.; Sinigaglia, M.; Tortorella, Y.; Nadalini, A.; Wistoff, N.; Sa´, B.; et al. "Shaheen: An Open, Secure, and Scalable RV64 SoC for Autonomous Nano-UAVs". 2023.
    10.1109/hcs59251.2023.10254698
  8. CERDEIRA, DAVID; Pinto, Sandro. "REZONE: Disarming TrustZone with TEE Privilege Reduction". Paper presented in USENIX Security, 2022.
    Accepted
  9. Miguel Silva; Tiago Gomes; Sandro Emanuel Salgado Pinto. "Agnostic Hardware-Accelerated Operating System for Low-End IoT". 2022.
    10.1109/rtcsa55878.2022.00009
  10. Sérgio Pereira; David Cerdeira; Cristiano Rodrigues; Sandro Emanuel Salgado Pinto. "Providing trusted execution environments using FPGA". 2022.
    10.5281/zenodo.7188987
  11. Samuel Pereira; João Sousa; Sandro Emanuel Salgado Pinto; José Martins; David Cerdeira. "Bao-Enclave: Virtualization-based Enclaves for Arm". 2022.
  12. Francisco Marques; Bruno Sá; Sandro Emanuel Salgado Pinto. "Implementacão do RISC-V IOPMP no CVA6 SoC". 2022.
    10.5281/zenodo.7189004
  13. Pereira, Samuel; Sousa, João; Pinto, Sandro; Martins, José; Cerdeira, David. "Bao-Enclave: Virtualization-based Enclaves for Arm". 2022.
    10.1109/wf-iot54382.2022.10152074
  14. Pinto, Sandro. "Secure IoT Firmware For Cortex-M Processors". Paper presented in Embedded World Conference, 2021.
    Published
  15. Pinto, Sandro. "Secure IoT Firmware For RISC-V Processors". Paper presented in Embedded World Conference, 2021.
    Published
  16. Pinto, Sandro. "uTango: an open-source TEE for the Internet of Things". Paper presented in to be published, 2021.
    In press
  17. Cesare Garlati; Pinto, Sandro. "A Clean Slate Approach to Linux Security RISC-V Enclaves". Paper presented in Embedded World Conference 2020, 2020.
  18. Pinto, Sandro; Cesare Garlati. "Multi Zone Security for Arm Cortex-M Devices". Paper presented in Embedded World Conference 2020, 2020.
  19. David Cerdeira; Nuno Santos; Pedro Fonseca; Pinto, Sandro. "SoK: Understanding the Prevailing Security Vulnerabilities in TrustZone-assisted TEE Systems". Paper presented in IEEE Symposium on Security and Privacy, San Francisco, 2020.
  20. José Martins; Adriano Tavares; Marco Solieri; Marko Bertogna; Pinto, Sandro. "Bao: A Lightweight Static Partitioning Hypervisor for Modern Multi-Core Embedded Systems". Paper presented in Workshop on Next Generation Real-Time Embedded Systems (NG-RES 2020), Bologna, 2020.
    10.4230/OASIcs.NG-RES.2020.3
  21. Pinto, Sandro. "Bao: a modern lightweight embedded hypervisor". Paper presented in Embedded World Conference 2020, 2020.
  22. 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
  23. Pinto, Sandro; José Martins. "The industry-first secure IoT stack for RISC-V: a research project". Paper presented in RISC-V Workshop, 2019.
  24. Pinto, Sanndro; Araujo, Hugo; Oliveira, Daniel; Martins, Jose; Tavares, Adriano. "Virtualization on TrustZone-Enabled Microcontrollers? Voilà!". 2019.
    10.1109/rtas.2019.00032
  25. 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". Paper presented in XV Jornadas sobre Sistemas Reconfiguráveis (REC 2019), 2019.
  26. Pinto, Sandro; Cesare Garlati. "User Mode Interrupts: A Must for Securing Embedded Systems". Paper presented in Embedded World Conference 2019, 2019.
  27. Ivo Marques; Cristiano Rodrigues; Pinto, Sandro; Tiago Gomes; Adriano Tavares. "Arquitetura Heterogénea para Sistemas Tolerantes a Falhas Baseada em Arm e RISC-V". Paper presented in XV Jornadas sobre Sistemas Reconfiguráveis – REC’2019, 2019.
  28. José Ribeiro; Nuno Silva; Pinto, Sandro; Adriano Tavares. "A TrustZone-assisted Hypervisor Supporting Dynamic Partial Reconfiguration". Paper presented in XIV Jornadas sobre Sistemas Reconfiguráveis, 2018.
  29. Sérgio Pereira; Adriano Tavares; Pinto, Sandro. "Towards a Secure Hardware-Software Co-Designed Framework for Reconfigurable Platforms". Paper presented in XIV Jornadas sobre Sistemas Reconfiguráveis 2018, 2018.
  30. Oliveira, D.; Gomes, T.; Pinto, S.. "Towards a Green and Secure Architecture for Reconfigurable IoT End-Devices". 2018.
    10.1109/ICCPS.2018.00041
  31. 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
  32. Lopes, J.; Martins, J.; Tavares, A.; Pinto, S.. "DIHyper: Providing Lifetime Hypervisor Data Integrity". 2018.
    10.1109/ISIE.2018.8433832
  33. Pinto, Sandro; José Martins; Jose Lopes; Miguel Abreu; Adriano Tavares. "SecSSy Hypervisor: Security-Safety Synergy for Aerospace". Paper presented in Data Systems in Aerospace (DASIA), 2017.
  34. Pinto, S.; Cabral, J.; Gomes, T.. "We-care: An IoT-based health care system for elderly people". 2017.
    10.1109/ICIT.2017.7915565
  35. Pinto, S.; Pereira, J.; Gomes, T.; Tavares, A.; Cabral, J.. "LTZVisor: TrustZone is the key". 2017.
    10.4230/LIPIcs.ECRTS.2017.4
  36. 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
  37. Sandro Pinto; Adriano Tavares; Sergio Montenegro. "Hypervisor for Real Time Space Applications". Paper presented in 4S Symposium, 2016.
  38. 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
  39. 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
  40. Pinto, S.; Tavares, A.; Montenegro, S.. "Space and time partitioning with hardware support for space applications". 2016.
  41. Qaralleh, E.; Lima, D.; Gomes, T.; Tavares, A.; Pinto, S.. "HcM-FreeRTOS: Hardware-centric FreeRTOS for ARM multicore". 2015.
    10.1109/ETFA.2015.7301570
  42. Pinto, S.; Oliveira, D.; Pereira, J.; Cabral, J.; Tavares, A.. "FreeTEE: When real-time and security meet". 2015.
    10.1109/ETFA.2015.7301571
  43. 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
  44. 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
  45. 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
  46. 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
  47. 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
  48. 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
  49. 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
  50. 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
  51. 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
  52. 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
Journal article
  1. Chunfu Zhang; Yanchun Liang; Adriano Tavares; Lidong Wang; Tiago Gomes; Sandro Pinto. "An Improved Public Key Cryptographic Algorithm Based on Chebyshev Polynomials and RSA". Symmetry (2024): https://doi.org/10.3390/sym16030263.
    10.3390/sym16030263
  2. Francisco Marques; Manuel Rodríguez; Bruno Sá; Sandro Pinto. "“Interrupting” the Status Quo: A First Glance at the RISC-V Advanced Interrupt Architecture (AIA)". IEEE Access 12 (2024): 9822-9833.
    Open access • 10.1109/access.2024.3352114
  3. Francisco Marques; Manuel Rodríguez; Bruno Sá; Sandro Pinto. "“Interrupting” the Status Quo: A First Glance at the RISC-V Advanced Interrupt Architecture (AIA)". IEEE Access (2024): https://doi.org/10.1109/ACCESS.2024.3352114.
    10.1109/ACCESS.2024.3352114
  4. Valente, Luca; Nadalini, Alessandro; Veeran, Asif Hussain Chiralil; Sinigaglia, Mattia; Sá, Bruno; Wistoff, Nils; Tortorella, Yvan; et al. "A Heterogeneous RISC-V Based SoC for Secure Nano-UAV Navigation". IEEE Transactions on Circuits and Systems I: Regular Papers (2024): 1-14. http://dx.doi.org/10.1109/tcsi.2024.3359044.
    10.1109/tcsi.2024.3359044
  5. Silva, Miguel; Gomes, Tiago; Ekpanyapong, Mongkol; Tavares, Adriano; Pinto, Sandro. "ChamelIoT: a tightly- and loosely-coupled hardware-assisted OS framework for low-end IoT devices". Real-Time Systems (2023): http://dx.doi.org/10.1007/s11241-023-09412-2.
    10.1007/s11241-023-09412-2
  6. Sá, Bruno; Valente, Luca; Martins, José; Rossi, Davide; Benini, Luca; Pinto, Sandro. "CVA6 RISC-V Virtualization: Architecture, Microarchitecture, and Design Space Exploration". IEEE Transactions on Very Large Scale Integration (VLSI) Systems 31 11 (2023): 1713-1726. http://dx.doi.org/10.1109/tvlsi.2023.3302837.
    10.1109/tvlsi.2023.3302837
  7. Bruno Sá; Francisco Marques; Manuel Rodriguez; José Martins; Sandro Pinto. "CVA6-based SoC". Proceedings of the 20th ACM International Conference on Computing Frontiers (2023):
    Open access • 10.1145/3587135.3591436
  8. Cunha, Luís; Roriz, Ricardo; Pinto, Sandro; Gomes, Tiago. "Hardware-Accelerated Data Decoding and Reconstruction for Automotive LiDAR Sensors". IEEE Transactions on Vehicular Technology 72 4 (2023): 4267-4276. http://dx.doi.org/10.1109/tvt.2022.3223231.
    10.1109/tvt.2022.3223231
  9. Bruno Sa; Luca Valente; José Martins; Davide Rossi; Luca Benini; Pinto, Sandro. "CVA6 RISC-V Virtualization: Architecture, Microarchitecture, and Design Space Exploration". IEEE Transactions on Very Large Scale Integration (VLSI) Systems (2023):
    Under revision
  10. Bruno Sá; Luca Valente; José Martins; Davide Rossi; Luca Benini; Sandro Pinto. "CVA6 RISC-V Virtualization: Architecture, Microarchitecture, and Design Space Exploration". IEEE Transactions on Very Large Scale Integration (VLSI) Systems (2023): https://doi.org/10.1109/TVLSI.2023.3302837.
    10.1109/TVLSI.2023.3302837
  11. Miguel Costa; Diogo Costa; Tiago Gomes; Sandro Pinto. "Shifting Capsule Networks from the Cloud to the Deep Edge". ACM Transactions on Intelligent Systems and Technology (2022): https://doi.org/10.1145/3544562.
    10.1145/3544562
  12. Tiago Gomes; Pedro Sousa; Miguel Silva; Mongkol Ekpanyapong; Sandro Pinto. "FAC-V: An FPGA-Based AES Coprocessor for RISC-V". Journal of Low Power Electronics and Applications (2022): https://doi.org/10.3390/jlpea12040050.
    10.3390/jlpea12040050
  13. Diogo Costa; Miguel Costa; Sandro Pinto. "Train Me If You Can: Decentralized Learning on the Deep Edge". Applied Sciences 12 9 (2022): 4653-4653. https://doi.org/10.3390/app12094653.
    10.3390/app12094653
  14. 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
  15. 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
  16. 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
  17. Costa, Miguel; Costa, Diogo; Gomes, Tiago; Pinto, Sandro. Corresponding author: Costa, Miguel. "Shifting Capsule Networks from the Cloud to the Deep Edge". ACM Transactions on Intelligent Systems and Technology (2022):
    Accepted
  18. Costa, Diogo; Costa, Miguel; Pinto, Sandro. "Train me if you can: decentralized learning on the deep edge". MDPI Applied Sciences (2022):
    Accepted
  19. Luis Cunha; Ricardo Roriz; Sandro Pinto; Tiago Gomes. "Hardware-Accelerated Data Decoding and Reconstruction for Automotive LiDAR Sensors". IEEE Transactions on Vehicular Technology (2022): https://doi.org/10.1109/TVT.2022.3223231.
    10.1109/TVT.2022.3223231
  20. Ivo Marques; Cristiano Rodrigues; Adriano Tavares; Sandro Emanuel Salgado Pinto; Tiago Gomes. "Lock-V: A heterogeneous fault tolerance architecture based on Arm and RISC-V". Microelectronics Reliability 120 (2021): 114120-114120. http://dx.doi.org/10.1016/j.microrel.2021.114120.
    10.1016/j.microrel.2021.114120
  21. Pinto, Sandro. "A First Look at RISC-V Virtualization from an Embedded Systems Perspective". IEEE Transactions on Computers (2021):
    In press • 10.1109/TC.2021.3124320
  22. Pinto, Sandro; Machado, Pedro; Oliveira, Daniel; Cerdeira, David; Gomes, Tiago. Corresponding author: Pinto, Sandro. "Self-secured devices: High performance and secure I/O access in TrustZone-based systems". Journal of Systems Architecture 119 (2021):
    Published • 10.1016/j.sysarc.2021.102238
  23. Sérgio Pereira; David Cerdeira; Cristiano Rodrigues; Sandro Emanuel Salgado Pinto. "Towards a Trusted Execution Environment via Reconfigurable FPGA". arxiv (2021): https://arxiv.org/abs/2107.03781.
  24. 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
  25. 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
  26. 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
  27. 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
  28. 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
  29. 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
  30. 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
  31. 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
  32. 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
  33. 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
  34. 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
  35. 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
  36. 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
  37. 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
  38. 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
Preprint
  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". 2022. https://doi.org/10.20944/preprints202201.0399.v1.
    10.20944/preprints202201.0399.v1
Activities

Oral presentation

Presentation title Event name
Host (Event location)
2023 Virtualization today, Virtualization tomorrow: Problems, Challenges, and Opportunities for Mixed-Criticality Systems Embedded World Conference
(Germany)
2023 Are We There YeTEE? A Critical Perspective and Future Directions for Trusted Execution Environments European Network for Cybersecurity (NeCS) PhD School
(Italy)
2023 Hand Me Your SECRET, MCU! Microarchitectural Timing Attacks on Microcontrollers are Practical Black Hat Asia
(Singapore)
2022 Tutorial: RISC-V Virtualization RISC-V Summit
(United States)
2022 Rethinking TEEs In The Age Of Reconfigurable Computing Hardwear.io Security Trainings and Conference
(Netherlands)
2022 TEEOD: TEEs leveraging Reconfigurable FPGA Technology Embedded World Conference
(Germany)
2022 "Are We There YeTEE? A Critical Perspective and Future Directions for Trusted Execution Environments" 2022 Security & Trust Summit Huawei
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, Germany)
2020/02 Multi Zone Security for Arm Cortex-M Devices Embedded World Conference
(Nurember, Germany)
2020/02 Bao: a modern lightweight embedded hypervisor Embedded World Conference
(Nuremberg, Germany)
2020 May the Trust be with You: Empowering TrustZone-M with Multiple Trusted Environments BlackHat Asia 2020
(Singapore)
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é, United States)
2019/09 How to Build & Secure a RISC-V Embedded System Hardwear.io
(The Hague, Netherlands)
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, Germany)
2019 Virtualization on TrustZone-enabled Microcontrollers? Voilà! IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS)
(Montreal, Canada)
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, Australia)
2018 TZ-VirtIO: enabling standardized inter-partition communication in a TrustZone-assisted hypervisor IEEE 27th International Symposium on Industrial Electronics
(Cairns, Australia)
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, Canada)
2017 SecSSy Hypervisor: Security-Safety Synergy for Aerospace Data Systems In Aerospace (DASIA)
(Sweden)
2017 LTZVisor: TrustZone is the Key Euromicro Conference on Real-Time Systems (ECRTS)
(Dubrovnik, Croatia)
2016 Space and time partitioning with hardware support for space applications Data Systems In Aerospace (DASIA)
(Tallin, Estonia)
2015/09 HcM-FreeRTOS: Hardware-centric FreeRTOS for ARM multicore IEEE Int. Conf. Emerging Tech. & Factory Autom. (ETFA)
(Luxembourg)
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)
(Luxembourg)
2015 RT-SHADOWS: Real-time system hardware for agnostic and deterministic OSes within softcore IEEE Conference on Emerging Technologies and Factory Automation (ETFA)
(Luxembourg)
2015 HcM-FreeRTOS: Hardware-centric FreeRTOS for ARM multicore IEEE Conference on Emerging Technologies and Factory Automation (ETFA)
(Luxembourg)
2014 Porting SLOTH system to FreeRTOS running on ARM Cortex-M3 IEEE International Symposium on Industrial Electronics (ISIE)
(Istanbul, Turkey)

Supervision

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

Event organisation

Event name
Type of event (Role)
Institution / Organization
2020 - 2020 Track Segurança de Sistemas de Computadores e Comunicações (SSCC) at INFORUM2020 (2020 - 2020)
Conference (Co-organisor)
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)
Conference (Co-organisor)
Universidade do Minho Escola de Engenharia, Portugal
2018 - 2018 REC 2018 - XIV Jornadas sobre Sistemas Reconfiguráveis (2018)
Conference (Co-organisor)
Universidade Nova de Lisboa, Portugal

Committee member

Activity description
Role
Institution / Organization
2019 - 2019 XV Jornadas sobre Sistemas Reconfiguráveis
2018 - 2018 10º INForum
2018 - 2018 XIV Jornadas sobre Sistemas Reconfiguráveis
2017 - 2017 9º INForum

Conference scientific committee

Conference name Conference host
2024 - Current Embedded World 2024
2024 - Current RISC-V Summit Europe 2024
2024 - Current 7th Workshop on System Software for Trusted Execution (SysTEX 2024). Co-located with EuroS&P'24
2023 - Current IEEE Real-Time and Embedded Technology and Applications Symposium 2023
2023 - Current SSH-SoC: Safety and Security in Heterogeneous Open System-on-Chip Platforms 2023
2022 - Current IEEE Real-Time and Embedded Technology and Applications Symposium 2022
2022 - Current INForum 2022
2022 - Current Jornadas dos Sistemas Reconfiguráveis 2022
2023 - 2023 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS)
2023 - 2023 SSH-SoC: Safety and Security in Heterogeneous Open System-on-Chip Platforms Workshop
2022 - 2022 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)

Journal scientific committee

Journal title (ISSN) Publisher
2017 - Current 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
Distinctions

Award

2023 IEEE RTAS 2023 - BEST STUDENT PAPER AWARD
2022 BEST PAPER AWARD CANDIDATES @ IEEE RTCSA 2022
IEEE, United States
2022 Diploma de mérito de publicação científica
Universidade do Minho Escola de Engenharia, Portugal
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., United States
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