Algoritmi | User | Sandro Emanuel Salgado Pinto
Sandro Emanuel Salgado Pinto
Sandro Emanuel Salgado Pinto
At LASI
Integrated Researcher with PhD
Member of the CALG R&D Unit
Academic Degree
PhD
Current Position
Invited Assistant Professor at Escola de Engenharia da Universidade do Minho
Personal Webpage
Personal Email
sandro.pinto@lasi.iotech.ptOrcid
0000-0003-4580-7484Researcher ID
D-6725-2015FCT Public Key
J580099005wb
Ciência ID
7,37E+15Google Scholar
About Me 
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.
Publications (102)
GEML: a graph-enhanced pre-trained language model framework for text classification via mutual learning
Applied Intelligence
2024 | journal-article
An Improved Multi-Chaotic Public Key Algorithm Based on Chebyshev Polynomials
Algorithms
2024 | journal-article
An Improved Public Key Cryptographic Algorithm Based on Chebyshev Polynomials and RSA
Symmetry
2024 | journal-article
A Heterogeneous RISC-V Based SoC for Secure Nano-UAV Navigation
IEEE Transactions on Circuits and Systems I: Regular Papers
2024 | journal-article
HSP-V: Hypervisor-Less Static Partitioning for RISC-V COTS Platforms
IEEE Access
2024 | journal-article
“Interrupting” the Status Quo: A First Glance at the RISC-V Advanced Interrupt Architecture (AIA)
IEEE Access
2024 | journal-article
ChamelIoT: a tightly- and loosely-coupled hardware-assisted OS framework for low-end IoT devices
Real-Time Systems
2023 | journal-article
H2T-FAST: Head-to-Tail Feature Augmentation by Style Transfer for Long-Tailed Recognition
2023 | book-chapter
Holistic RISC-V Virtualization
2023 | conference-paper
Investigating and Mitigating Contention on Low-End Multi-Core Microcontrollers
2023 | conference-paper
Shedding Light on Static Partitioning Hypervisors for Arm-based Mixed-Criticality Systems
IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS)
2023 | conference-paper
Hardware-Accelerated Data Decoding and Reconstruction for Automotive LiDAR Sensors
IEEE Transactions on Vehicular Technology
2023 | journal-article
CROSSCON: interoperable IoT Security Stack - the RISC-V opportunity
2023 | conference-abstract
Open Source RISC-V Advanced Interrupt Architecture (AIA) IP
2023 | conference-abstract
Open-source RISC-V Input/Output Memory Management Unit (IOMMU) IP
2023 | conference-abstract
IRQ Coloring: Mitigating Interrupt-Generated Interference on ARM Multicore Platforms
Fourth Workshop on Next Generation Real-Time Embedded Systems
2023 | conference-paper
CVA6 RISC-V Virtualization: Architecture, Microarchitecture, and Design Space Exploration
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
2023 | journal-article
CVA6 RISC-V Virtualization: Architecture, Microarchitecture, and Design Space Exploration
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
2023 | journal-article
IRQ Coloring and the Subtle Art of Mitigating Interrupt-Generated Interference
2023 | conference-paper
SecureQNN: Introducing a Privacy-Preserving Framework for QNNs at the Deep Edge
2023 | book-chapter
Shaheen: An Open, Secure, and Scalable RV64 SoC for Autonomous Nano-UAVs
2023 | conference-paper
Virtualization today, virtualization tomorrow: problems, challenges, and opportunities for mixed-criticality systems
2023 | conference-paper
Shifting Capsule Networks from the Cloud to the Deep Edge
ACM Transactions on Intelligent Systems and Technology
2022 | journal-article
FAC-V: An FPGA-Based AES Coprocessor for RISC-V
Journal of Low Power Electronics and Applications
2022 | journal-article
Agnostic Hardware-Accelerated Operating System for Low-End IoT
IEEE 28th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA)
2022 | conference-paper
REZONE: Disarming TrustZone with TEE Privilege Reduction
USENIX Security
2022 | conference-paper
Train Me If You Can: Decentralized Learning on the Deep Edge
Applied Sciences
2022 | journal-article
Microphone Array for Speaker Localization and Identification in Shared Autonomous Vehicles
Electronics
2022 | journal-article
Microphone Array for Speaker Localization and Identification in Shared Autonomous Vehicles
2022 | preprint
DIOR: A Hardware-Assisted Weather Denoising Solution for LiDAR Point Clouds
IEEE Sensors Journal
2022 | journal-article
Bao-Enclave: Virtualization-based Enclaves for Arm
IEEE World Forum on Internet of Things
2022 | conference-paper
Bao-Enclave: Virtualization-based Enclaves for Arm
2022 | conference-paper
Implementacão do RISC-V IOPMP no CVA6 SoC
Jornadas sobre Sistemas Reconfiguráveis
2022 | conference-paper
Providing trusted execution environments using FPGA
Jornadas sobre Sistemas Reconfiguráveis
2022 | conference-paper
RISC-V Virtualization for a CVA6-based SoC
RISC-V Week
2022 | conference-poster
ReZone: Disarming TrustZone with TEE Privilege Reduction
31st USENIX Security Symposium (USENIX Security 22)
2022 | conference-paper
Shifting Capsule Networks from the Cloud to the Deep Edge
ACM Transactions on Intelligent Systems and Technology
2022 | journal-article
Train me if you can: decentralized learning on the deep edge
MDPI Applied Sciences
2022 | journal-article
Trusted execution environments leveraging reconfigurable FPGA technology
Embedded World Conference
2022 | conference-paper
uTango: An Open-Source TEE for IoT Devices
IEEE Access
2022 | journal-article
Self-secured devices: High performance and secure I/O access in TrustZone-based systems
Journal of Systems Architecture
2021 | journal-article
Lock-V: A heterogeneous fault tolerance architecture based on Arm and RISC-V
Microelectronics Reliability
2021 | journal-article
Secure IoT Firmware For Cortex-M Processors
Embedded World Conference
2021 | conference-paper
Secure IoT Firmware For RISC-V Processors
Embedded World Conference
2021 | conference-paper
uTango: an open-source TEE for the Internet of Things
to be published
2021 | conference-paper
A First Look at RISC-V Virtualization from an Embedded Systems Perspective
IEEE Transactions on Computers
2021 | journal-article
Leveraging RISC-V to build an open-source (hardware) OS framework for reconfigurable IoT devices
Workshop on Computer Architecture Research with RISC-V
2021 | conference-paper
Towards a Trusted Execution Environment via Reconfigurable FPGA
arxiv
2021 | journal-article
Wall Screen: An Ultra-High Definition Video-Card for the Internet of Things
IEEE Multimedia
2020 | journal-article
A Clean Slate Approach to Linux Security RISC-V Enclaves
Embedded World Conference 2020
2020 | conference-paper
Multi Zone Security for Arm Cortex-M Devices
Embedded World Conference 2020
2020 | conference-paper
The Future of Low-End Motes in the Internet of Things: A Prospective Paper
Electronics
2020 | journal-article
Bao: A Lightweight Static Partitioning Hypervisor for Modern Multi-Core Embedded Systems
Workshop on Next Generation Real-Time Embedded Systems (NG-RES 2020)
2020 | conference-paper
SoK: Understanding the Prevailing Security Vulnerabilities in TrustZone-assisted TEE Systems
IEEE Symposium on Security and Privacy
2020 | conference-paper
Bao: a modern lightweight embedded hypervisor
Embedded World Conference 2020
2020 | conference-paper
Operating Systems for Internet of Things Low-End Devices: Analysis and Benchmarking
IEEE Internet of Things Journal
2019 | journal-article
Detecting Driver’s Fatigue, Distraction and Activity Using a Non-Intrusive Ai-Based Monitoring System
Journal of Artificial Intelligence and Soft Computing Research
2019 | journal-article
Towards a Heterogeneous Fault-Tolerance Architecture based on Arm and RISC-V Processors
2019 | conference-paper
The industry-first secure IoT stack for RISC-V: a research project
RISC-V Workshop
2019 | conference-paper
Virtualization on TrustZone-Enabled Microcontrollers? Voilà!
2019 | conference-paper
WallScreen: Plataforma de Nova Geração para a Gestão de Vídeo 8K UHD
XV Jornadas sobre Sistemas Reconfiguráveis (REC 2019)
2019 | conference-paper
Demystifying Arm TrustZone: A Comprehensive Survey
ACM Computing Surveys
2019 | journal-article
Arquitetura Heterogénea para Sistemas Tolerantes a Falhas Baseada em Arm e RISC-V
XV Jornadas sobre Sistemas Reconfiguráveis – REC’2019
2019 | conference-paper
User Mode Interrupts: A Must for Securing Embedded Systems
Embedded World Conference 2019
2019 | conference-paper
A TrustZone-assisted Hypervisor Supporting Dynamic Partial Reconfiguration
XIV Jornadas sobre Sistemas Reconfiguráveis
2018 | conference-paper
Towards a Secure Hardware-Software Co-Designed Framework for Reconfigurable Platforms
XIV Jornadas sobre Sistemas Reconfiguráveis 2018
2018 | conference-paper
A 6LoWPAN Accelerator for Internet of Things Endpoint Devices
IEEE Internet of Things Journal
2018 | journal-article
ChamelIoT: an Agnostic Operating System Framework for Reconfigurable IoT Devices
IEEE Internet of Things Journal
2018 | journal-article
DIHyper: Providing Lifetime Hypervisor Data Integrity
IEEE International Symposium on Industrial Electronics
2018 | conference-paper
TZ- VirtIO: Enabling Standardized Inter-Partition Communication in a Trustzone-Assisted Hypervisor
IEEE International Symposium on Industrial Electronics
2018 | conference-paper
Towards a Green and Secure Architecture for Reconfigurable IoT End-Devices
Proceedings - 9th ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2018
2018 | conference-paper
SecSSy Hypervisor: Security-Safety Synergy for Aerospace
Data Systems in Aerospace (DASIA)
2017 | conference-paper
Building IEEE 802.15.4 Accelerators for Heterogeneous Wireless Sensor Nodes
IEEE Sensors Letters
2017 | journal-article
C KISS: Keep It Simple and Straightforward while playing and enjoying with C in a programming lab
China Railway Publishing House
2017 | book
Condition Codes Evaluation on Dynamic Binary Translation for Embedded Platforms
IEEE Embedded Systems Letters
2017 | journal-article
IIoTEED: An Enhanced, Trusted Execution Environment for Industrial IoT Edge Devices
IEEE Internet Computing
2017 | journal-article
LTZVisor: TrustZone is the key
Leibniz International Proceedings in Informatics, LIPIcs
2017 | conference-paper
Lightweight multicore virtualization architecture exploiting ARM TrustZone
Proceedings IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society
2017 | conference-paper
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
2017 | journal-article
Towards a TrustZone-assisted hypervisor for real-time embedded systems
IEEE Computer Architecture Letters
2017 | journal-article
We-care: An IoT-based health care system for elderly people
Proceedings of the IEEE International Conference on Industrial Technology
2017 | conference-paper
μRTZvisor: A secure and safe real-time hypervisor
Electronics (Switzerland)
2017 | journal-article
Hypervisor for Real Time Space Applications
4S Symposium
2016 | conference-paper
Bringing Hardware Multithreading to the Real-Time Domain
IEEE Embedded Systems Letters
2016 | journal-article
FPGA vendor-agnostic IP-XACT- and XSLT-based RTL design generator
Proceedings of the 18th Mediterranean Electrotechnical Conference: Intelligent and Efficient Technologies and Services for the Citizen, MELECON 2016
2016 | conference-paper
Hybrid real-time operating systems: Deployment of critical FreeRTOS features on FPGA
International Journal of Embedded Systems
2016 | journal-article
Space and time partitioning with hardware support for space applications
European Space Agency, (Special Publication) ESA SP
2016 | conference-paper
Towards an FPGA-based network layer filter for the Internet of Things edge devices
IEEE International Conference on Emerging Technologies and Factory Automation, ETFA
2016 | conference-paper
FreeTEE: When real-time and security meet
IEEE International Conference on Emerging Technologies and Factory Automation, ETFA
2015 | conference-paper
HcM-FreeRTOS: Hardware-centric FreeRTOS for ARM multicore
IEEE International Conference on Emerging Technologies and Factory Automation, ETFA
2015 | conference-paper
RT-SHADOWS: Real-time system hardware for agnostic and deterministic OSes within softcore
IEEE International Conference on Emerging Technologies and Factory Automation, ETFA
2015 | conference-paper
Towards an FPGA-based edge device for the Internet of Things
IEEE International Conference on Emerging Technologies and Factory Automation, ETFA
2015 | conference-paper
Hardware-Assisted Real-Time Operating System Deployed on FPGA
New trends in digital systems design
2014 | book-chapter
Hardware-assisted real-time operating system deployed on FPGA
Fortschritt-Berichte VDI
2014 | book-chapter
Porting SLOTH system to FreeRTOS running on ARM Cortex-M3
IEEE International Symposium on Industrial Electronics
2014 | conference-paper
Towards a lightweight embedded virtualization architecture exploiting ARM TrustZone
19th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2014
2014 | conference-paper
ClimaWin: An intelligent window for optimal ventilation and minimum thermal loss
IEEE International Symposium on Industrial Electronics
2013 | conference-paper
Exploiting template metaprogramming to customize an object-oriented operating system
IEEE International Symposium on Industrial Electronics
2013 | conference-paper
Hardware-software extensions to a softcore processor for FPGA-based adaptive PID control
IEEE International Symposium on Industrial Electronics
2013 | conference-paper
LP805X: A customizable and low power 8051 soft core for FPGA applications
IEEE International Symposium on Industrial Electronics
2013 | conference-paper
Shifting SOA to MPSoC: An exploratory example of application
IEEE International Conference on Emerging Technologies and Factory Automation, ETFA
2012 | conference-paper
Co-designed FreeRTOS deployed on FPGA
European Signal Processing Conference
1998 | conference-paper
GEML: a graph-enhanced pre-trained language model framework for text classification via mutual learning
Applied Intelligence
2024 | journal-article
An Improved Multi-Chaotic Public Key Algorithm Based on Chebyshev Polynomials
Algorithms
2024 | journal-article
An Improved Public Key Cryptographic Algorithm Based on Chebyshev Polynomials and RSA
Symmetry
2024 | journal-article
A Heterogeneous RISC-V Based SoC for Secure Nano-UAV Navigation
IEEE Transactions on Circuits and Systems I: Regular Papers
2024 | journal-article
HSP-V: Hypervisor-Less Static Partitioning for RISC-V COTS Platforms
IEEE Access
2024 | journal-article
“Interrupting” the Status Quo: A First Glance at the RISC-V Advanced Interrupt Architecture (AIA)
IEEE Access
2024 | journal-article
ChamelIoT: a tightly- and loosely-coupled hardware-assisted OS framework for low-end IoT devices
Real-Time Systems
2023 | journal-article
H2T-FAST: Head-to-Tail Feature Augmentation by Style Transfer for Long-Tailed Recognition
2023 | book-chapter
Holistic RISC-V Virtualization
2023 | conference-paper
Investigating and Mitigating Contention on Low-End Multi-Core Microcontrollers
2023 | conference-paper
Shedding Light on Static Partitioning Hypervisors for Arm-based Mixed-Criticality Systems
IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS)
2023 | conference-paper
Hardware-Accelerated Data Decoding and Reconstruction for Automotive LiDAR Sensors
IEEE Transactions on Vehicular Technology
2023 | journal-article
CROSSCON: interoperable IoT Security Stack - the RISC-V opportunity
2023 | conference-abstract
Open Source RISC-V Advanced Interrupt Architecture (AIA) IP
2023 | conference-abstract
Open-source RISC-V Input/Output Memory Management Unit (IOMMU) IP
2023 | conference-abstract
IRQ Coloring: Mitigating Interrupt-Generated Interference on ARM Multicore Platforms
Fourth Workshop on Next Generation Real-Time Embedded Systems
2023 | conference-paper
CVA6 RISC-V Virtualization: Architecture, Microarchitecture, and Design Space Exploration
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
2023 | journal-article
CVA6 RISC-V Virtualization: Architecture, Microarchitecture, and Design Space Exploration
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
2023 | journal-article
IRQ Coloring and the Subtle Art of Mitigating Interrupt-Generated Interference
2023 | conference-paper
SecureQNN: Introducing a Privacy-Preserving Framework for QNNs at the Deep Edge
2023 | book-chapter
Shaheen: An Open, Secure, and Scalable RV64 SoC for Autonomous Nano-UAVs
2023 | conference-paper
Virtualization today, virtualization tomorrow: problems, challenges, and opportunities for mixed-criticality systems
2023 | conference-paper
Shifting Capsule Networks from the Cloud to the Deep Edge
ACM Transactions on Intelligent Systems and Technology
2022 | journal-article
FAC-V: An FPGA-Based AES Coprocessor for RISC-V
Journal of Low Power Electronics and Applications
2022 | journal-article
Agnostic Hardware-Accelerated Operating System for Low-End IoT
IEEE 28th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA)
2022 | conference-paper
REZONE: Disarming TrustZone with TEE Privilege Reduction
USENIX Security
2022 | conference-paper
Train Me If You Can: Decentralized Learning on the Deep Edge
Applied Sciences
2022 | journal-article
Microphone Array for Speaker Localization and Identification in Shared Autonomous Vehicles
Electronics
2022 | journal-article
Microphone Array for Speaker Localization and Identification in Shared Autonomous Vehicles
2022 | preprint
DIOR: A Hardware-Assisted Weather Denoising Solution for LiDAR Point Clouds
IEEE Sensors Journal
2022 | journal-article
Bao-Enclave: Virtualization-based Enclaves for Arm
IEEE World Forum on Internet of Things
2022 | conference-paper
Bao-Enclave: Virtualization-based Enclaves for Arm
2022 | conference-paper
Implementacão do RISC-V IOPMP no CVA6 SoC
Jornadas sobre Sistemas Reconfiguráveis
2022 | conference-paper
Providing trusted execution environments using FPGA
Jornadas sobre Sistemas Reconfiguráveis
2022 | conference-paper
RISC-V Virtualization for a CVA6-based SoC
RISC-V Week
2022 | conference-poster
ReZone: Disarming TrustZone with TEE Privilege Reduction
31st USENIX Security Symposium (USENIX Security 22)
2022 | conference-paper
Shifting Capsule Networks from the Cloud to the Deep Edge
ACM Transactions on Intelligent Systems and Technology
2022 | journal-article
Train me if you can: decentralized learning on the deep edge
MDPI Applied Sciences
2022 | journal-article
Trusted execution environments leveraging reconfigurable FPGA technology
Embedded World Conference
2022 | conference-paper
uTango: An Open-Source TEE for IoT Devices
IEEE Access
2022 | journal-article
Self-secured devices: High performance and secure I/O access in TrustZone-based systems
Journal of Systems Architecture
2021 | journal-article
Lock-V: A heterogeneous fault tolerance architecture based on Arm and RISC-V
Microelectronics Reliability
2021 | journal-article
Secure IoT Firmware For Cortex-M Processors
Embedded World Conference
2021 | conference-paper
Secure IoT Firmware For RISC-V Processors
Embedded World Conference
2021 | conference-paper
uTango: an open-source TEE for the Internet of Things
to be published
2021 | conference-paper
A First Look at RISC-V Virtualization from an Embedded Systems Perspective
IEEE Transactions on Computers
2021 | journal-article
Leveraging RISC-V to build an open-source (hardware) OS framework for reconfigurable IoT devices
Workshop on Computer Architecture Research with RISC-V
2021 | conference-paper
Towards a Trusted Execution Environment via Reconfigurable FPGA
arxiv
2021 | journal-article
Wall Screen: An Ultra-High Definition Video-Card for the Internet of Things
IEEE Multimedia
2020 | journal-article
A Clean Slate Approach to Linux Security RISC-V Enclaves
Embedded World Conference 2020
2020 | conference-paper
Multi Zone Security for Arm Cortex-M Devices
Embedded World Conference 2020
2020 | conference-paper
The Future of Low-End Motes in the Internet of Things: A Prospective Paper
Electronics
2020 | journal-article
Bao: A Lightweight Static Partitioning Hypervisor for Modern Multi-Core Embedded Systems
Workshop on Next Generation Real-Time Embedded Systems (NG-RES 2020)
2020 | conference-paper
SoK: Understanding the Prevailing Security Vulnerabilities in TrustZone-assisted TEE Systems
IEEE Symposium on Security and Privacy
2020 | conference-paper
Bao: a modern lightweight embedded hypervisor
Embedded World Conference 2020
2020 | conference-paper
Operating Systems for Internet of Things Low-End Devices: Analysis and Benchmarking
IEEE Internet of Things Journal
2019 | journal-article
Detecting Driver’s Fatigue, Distraction and Activity Using a Non-Intrusive Ai-Based Monitoring System
Journal of Artificial Intelligence and Soft Computing Research
2019 | journal-article
Towards a Heterogeneous Fault-Tolerance Architecture based on Arm and RISC-V Processors
2019 | conference-paper
The industry-first secure IoT stack for RISC-V: a research project
RISC-V Workshop
2019 | conference-paper
Virtualization on TrustZone-Enabled Microcontrollers? Voilà!
2019 | conference-paper
WallScreen: Plataforma de Nova Geração para a Gestão de Vídeo 8K UHD
XV Jornadas sobre Sistemas Reconfiguráveis (REC 2019)
2019 | conference-paper
Demystifying Arm TrustZone: A Comprehensive Survey
ACM Computing Surveys
2019 | journal-article
Arquitetura Heterogénea para Sistemas Tolerantes a Falhas Baseada em Arm e RISC-V
XV Jornadas sobre Sistemas Reconfiguráveis – REC’2019
2019 | conference-paper
User Mode Interrupts: A Must for Securing Embedded Systems
Embedded World Conference 2019
2019 | conference-paper
A TrustZone-assisted Hypervisor Supporting Dynamic Partial Reconfiguration
XIV Jornadas sobre Sistemas Reconfiguráveis
2018 | conference-paper
Towards a Secure Hardware-Software Co-Designed Framework for Reconfigurable Platforms
XIV Jornadas sobre Sistemas Reconfiguráveis 2018
2018 | conference-paper
A 6LoWPAN Accelerator for Internet of Things Endpoint Devices
IEEE Internet of Things Journal
2018 | journal-article
ChamelIoT: an Agnostic Operating System Framework for Reconfigurable IoT Devices
IEEE Internet of Things Journal
2018 | journal-article
DIHyper: Providing Lifetime Hypervisor Data Integrity
IEEE International Symposium on Industrial Electronics
2018 | conference-paper
TZ- VirtIO: Enabling Standardized Inter-Partition Communication in a Trustzone-Assisted Hypervisor
IEEE International Symposium on Industrial Electronics
2018 | conference-paper
Towards a Green and Secure Architecture for Reconfigurable IoT End-Devices
Proceedings - 9th ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2018
2018 | conference-paper
SecSSy Hypervisor: Security-Safety Synergy for Aerospace
Data Systems in Aerospace (DASIA)
2017 | conference-paper
Building IEEE 802.15.4 Accelerators for Heterogeneous Wireless Sensor Nodes
IEEE Sensors Letters
2017 | journal-article
C KISS: Keep It Simple and Straightforward while playing and enjoying with C in a programming lab
China Railway Publishing House
2017 | book
Condition Codes Evaluation on Dynamic Binary Translation for Embedded Platforms
IEEE Embedded Systems Letters
2017 | journal-article
IIoTEED: An Enhanced, Trusted Execution Environment for Industrial IoT Edge Devices
IEEE Internet Computing
2017 | journal-article
LTZVisor: TrustZone is the key
Leibniz International Proceedings in Informatics, LIPIcs
2017 | conference-paper
Lightweight multicore virtualization architecture exploiting ARM TrustZone
Proceedings IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society
2017 | conference-paper
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
2017 | journal-article
Towards a TrustZone-assisted hypervisor for real-time embedded systems
IEEE Computer Architecture Letters
2017 | journal-article
We-care: An IoT-based health care system for elderly people
Proceedings of the IEEE International Conference on Industrial Technology
2017 | conference-paper
μRTZvisor: A secure and safe real-time hypervisor
Electronics (Switzerland)
2017 | journal-article
Hypervisor for Real Time Space Applications
4S Symposium
2016 | conference-paper
Bringing Hardware Multithreading to the Real-Time Domain
IEEE Embedded Systems Letters
2016 | journal-article
FPGA vendor-agnostic IP-XACT- and XSLT-based RTL design generator
Proceedings of the 18th Mediterranean Electrotechnical Conference: Intelligent and Efficient Technologies and Services for the Citizen, MELECON 2016
2016 | conference-paper
Hybrid real-time operating systems: Deployment of critical FreeRTOS features on FPGA
International Journal of Embedded Systems
2016 | journal-article
Space and time partitioning with hardware support for space applications
European Space Agency, (Special Publication) ESA SP
2016 | conference-paper
Towards an FPGA-based network layer filter for the Internet of Things edge devices
IEEE International Conference on Emerging Technologies and Factory Automation, ETFA
2016 | conference-paper
FreeTEE: When real-time and security meet
IEEE International Conference on Emerging Technologies and Factory Automation, ETFA
2015 | conference-paper
HcM-FreeRTOS: Hardware-centric FreeRTOS for ARM multicore
IEEE International Conference on Emerging Technologies and Factory Automation, ETFA
2015 | conference-paper
RT-SHADOWS: Real-time system hardware for agnostic and deterministic OSes within softcore
IEEE International Conference on Emerging Technologies and Factory Automation, ETFA
2015 | conference-paper
Towards an FPGA-based edge device for the Internet of Things
IEEE International Conference on Emerging Technologies and Factory Automation, ETFA
2015 | conference-paper
Hardware-Assisted Real-Time Operating System Deployed on FPGA
New trends in digital systems design
2014 | book-chapter
Hardware-assisted real-time operating system deployed on FPGA
Fortschritt-Berichte VDI
2014 | book-chapter
Porting SLOTH system to FreeRTOS running on ARM Cortex-M3
IEEE International Symposium on Industrial Electronics
2014 | conference-paper
Towards a lightweight embedded virtualization architecture exploiting ARM TrustZone
19th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2014
2014 | conference-paper
ClimaWin: An intelligent window for optimal ventilation and minimum thermal loss
IEEE International Symposium on Industrial Electronics
2013 | conference-paper
Exploiting template metaprogramming to customize an object-oriented operating system
IEEE International Symposium on Industrial Electronics
2013 | conference-paper
Hardware-software extensions to a softcore processor for FPGA-based adaptive PID control
IEEE International Symposium on Industrial Electronics
2013 | conference-paper
LP805X: A customizable and low power 8051 soft core for FPGA applications
IEEE International Symposium on Industrial Electronics
2013 | conference-paper
Shifting SOA to MPSoC: An exploratory example of application
IEEE International Conference on Emerging Technologies and Factory Automation, ETFA
2012 | conference-paper
Co-designed FreeRTOS deployed on FPGA
European Signal Processing Conference
1998 | conference-paper
