Bridging the Interoperability Gaps Among Trusted Architectures in MCUs

Sandro Pinto, Luís Cunha, Daniel Oliveira, Michele Grisafi, Emanuele Beozzo and Bruno Crispo, 2025 International Conference on Information and Communications Security (ICICS 2025), Nanjing, China

AnyTEE: An Open and Interoperable Software Defined TEE Framework

D. Cerdeira, J. Martins, N. Santos and S. Pinto, "AnyTEE: An Open and Interoperable Software Defined TEE Framework," in IEEE Access, vol. 13, pp. 109983-109998, 2025

Firmware Secure Updates meet Formal Verification

Alberto Tacchella, Emanuele Beozzo, Bruno Crispo, and Marco Roveri. 2025. Firmware Secure Updates meet Formal Verification. ACM Trans. Cyber-Phys. Syst. Just Accepted (July 2025).

RLFuzz: Accelerating Hardware Fuzzing with Deep Reinforcement Learning

R. Götz, C. Sendner, N. Ruck, M. Rostami, A. Dmitrienko and A. -R. Sadeghi, "RLFuzz: Accelerating Hardware Fuzzing with Deep Reinforcement Learning," 2025 IEEE International Symposium on Hardware Oriented Security and Trust (HOST), San Jose, CA, USA, 2025, pp. 358-369

Certified Secure Updates for IoT Devices

Alberto Tacchella, Emanuele Beozzo, Bruno Crispo, Marco Roveri, ICT Systems Security and Privacy Protection ‐ 40th IFIP International Conference, SEC 2025, Maribor, Slovenia, May 21‐23, 2025

CVA6 MMU-less Virtualization – From Hardware to Software, and Vice Versa!

Sandro Pinto (Uni. Minho), embedded world Conference 2025

A Novel Trusted Execution Environment for Next-Generation RISC-V MCUs

Sandro Pinto (Uni. Minho) and Matjaz Breskvar (Beyond Semiconductor), embedded world Conference 2024

Virtualization today, Virtualization tomorrow: Problems, Challenges, and Opportunities for Mixed-Criticality Systems

Sandro Pinto (Uni. Minho), embedded world Conference 2023

AuthentiSafe: Lightweight and Future-Proof Device-to-Device Authentication for IoT

Petzi, L., Krauß, T., Dmitrienko, A. & Tsudik, G. (2025). AuthentiSafe: Lightweight and Future-Proof Device-to-Device Authentication for IoT. to appear in the 20th ACM ASIA Conference on Computer and Communications Security (ACM ASIACCS 2025), .

BiRtIO: VirtIO for Real-Time Network Interface Sharing on the Bao Hypervisor

J. Peixoto, J. Martins, D. Cerdeira and S. Pinto, "BiRtIO: VirtIO for Real-Time Network Interface Sharing on the Bao Hypervisor," in IEEE Access, vol. 12, pp. 185434-185447, 2024