| Bao: A Lightweight Static Partitioning Hypervisor for Modern Multi-Core Embedded Systems J Martins, A Tavares, M Solieri, M Bertogna, S Pinto Workshop on Next Generation Real-Time Embedded Systems, 2020 | 88 | 2020 |
| Virtualization on TrustZone-enabled Microcontrollers? Voila! S Pinto, H Araujo, D Oliveira, J Martins, A Tavares | 54* | |
| A First Look at RISC-V Virtualization from an Embedded Systems Perspective B Sá, J Martins, S Pinto arXiv preprint arXiv:2103.14951, 2021 | 36 | 2021 |
| μRTZVisor: A Secure and Safe Real-Time Hypervisor J Martins, J Alves, J Cabral, A Tavares, S Pinto Electronics 6 (4), 93, 2017 | 35 | 2017 |
| ReZone: Disarming TrustZone with TEE Privilege Reduction D Cerdeira, J Martins, N Santos, S Pinto arXiv preprint arXiv:2203.01025, 2022 | 24 | 2022 |
| TZ-VirtIO: enabling standardized inter-partition communication in a TrustZone-assisted hypervisor A Oliveira, J Martins, J Cabral, A Tavares, S Pinto 2018 IEEE 27th International Symposium on Industrial Electronics (ISIE), 708-713, 2018 | 14 | 2018 |
| Shedding Light on Static Partitioning Hypervisors for Arm-based Mixed-Criticality Systems J Martins, S Pinto arXiv preprint arXiv:2303.11186, 2023 | 8 | 2023 |
| CVA6 RISC-V Virtualization: Architecture, Microarchitecture, and Design Space Exploration B Sá, L Valente, J Martins, D Rossi, L Benini, S Pinto arXiv preprint arXiv:2302.02969, 2023 | 6 | 2023 |
| The industry-first secure IoT stack for RISC-V: a research project S Pinto, J Martins | 6* | |
| Bao-Enclave: Virtualization-based Enclaves for Arm S Pereira, J Sousa, S Pinto, J Martins, D Cerdeira arXiv preprint arXiv:2209.05572, 2022 | 3 | 2022 |
| Bao: a modern lightweight embedded hypervisor J Martins, S Pinto | 3* | |
| IRQ Coloring: Mitigating Interrupt-Generated Interference on ARM Multicore Platforms D Costa, L Cuomo, D Oliveira, IM Savino, B Morelli, J Martins, F Tronci, ... Fourth Workshop on Next Generation Real-Time Embedded Systems (NG-RES 2023), 2023 | 2 | 2023 |
| DIHyper: providing lifetime Hypervisor Data Integrity J Lopes, J Martins, A Tavares, S Pinto 2018 IEEE 27th International Symposium on Industrial Electronics (ISIE), 645-650, 2018 | 2 | 2018 |
| SECSSY HYPERVISOR: SECURITY-SAFETY SYNERGY FOR AEROSPACE S Pinto, J Martins, J Lopes, M Abreu, A Tavares | 2* | |
Sandro PintoCentro Algoritmi, University of MinhoVerified email at dei.uminho.pt
