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

Gain Insights into the Latest Cybersecurity Trends from Horizon Europe Funded Projects

AI4CYBER, CERTIFY, CROSSCON, ENCRYPT, KINAITICS, REWIRE, TRUMPET and TRUSTEE, White Paper

FLAShadow: A Flash-based Shadow Stack for Low-end Embedded Systems

Michele Grisafi, Mahmoud Ammar, Marco Roveri, and Bruno Crispo. 2024. FLAShadow: A Flash-based Shadow Stack for Low-end Embedded Systems. ACM Trans. Internet Things 5, 3, Article 19 (August 2024)