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

Sandro Pinto (Uni. Minho) and Matjaz Breskvar (Beyond Semiconductor)

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

Sandro Pinto (Uni. Minho)

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

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)

Securing Embedded and IoT Systems with SPMP-based Virtualization

Sandro Pinto (Centro ALGORITMI/LASI - Universidade do Minho), José Martins (Centro ALGORITMI/LASI - Universidade do Minho), Tilen Nedanovski (Beyond Semiconductor), Manuel Rodríguez (Centro ALGORITMI/LASI - Universidade do Minho), Ziga Putrle (Beyond Semiconductor), Matjaz Breskvar (Beyond Semico

Cyber-physical metropolitan area digital substations test bench for evaluating intrusion detection systems

S. Sanchez-Acevedo, T. A. Zerihun, H. Koshutanski and A.

PUF-based Authentication in IoT against Strong Physical Adversary using Zero-Knowledge Proofs

Yoon, Seungyong et al. “PUF-based Authentication Scheme for IoT Devices.” 2020 International Conference on Information and Communication Technology Convergence (ICTC) (2020): 1792-1794.

CROSSCON: Cross-platform Open Security Stack for Connected Devices

Bruno Crispo, Marco Roveri (Uni. Trento); Sandro Pinto, Tiago Gomes (Uni. Minho); Aljosa Pasic (ATOS); Akos Milankovich (S-LAB); David Puron, Ainara Garcia, (Barbara IoT); Ziga Putrle, (Beyond ´ Semiconductor); Peter Ten (Uni Wuerzburg); Malvina Catalano (Cysec)