Best paper award!!
embedded-cal: A Formally Verified Cryptographic Provider for Embedded Platforms. Elsa Lopez Perez, William Takeshi Pereira, Thomas Watteyne, Christian Amssus, Franziskus Kiefer and Jonas Schneider-Bensch, Karthikeyan Bhargavan, Mališa Vučinić. International Workshop on Security, Privacy and Trust in the Internet of Things (SPT-IoT), part of IEEE International Conference on Pervasive Computing and…
IEEE Transactions on Computers article accepted!!
M-AuRA: Mutual Authentication and Remote Attestation over EDHOC. Yuxuan Song, Elsa Lopez Perez, Geovane Fedrecheski, Thomas Watteyne, Mališa Vučinić. IEEE Transactions on Computers, to appear in 2026.
EWSN paper accepted!!
Automatic Network-Based Multi-Channel Frequency Calibration for Self-Joining Crystal-Free Motes. Titan Yuan, Filip Maksimovic, Tengfei Chang, Kris Pister. International Conference on Embedded Wireless Systems and Networks (EWSN), Dresden, Germany, 16-18 September 2026.
COMNET Article accepted!!
ELA: Secure, Lightweight, and Zero-Touch Enrollment for IoT Devices. Geovane Fedrecheski, Göran Selander, Thomas Watteyne, Mališa Vučinić. Elsevier Computer Networks (COMNET), to appear in 2026.
ASIACCS paper accepted!
Formal Verification of EDHOC-PSK: A Symbolic Approach with SAPIC+. Elsa Lopez Perez, Thomas Watteyne, Cristina Onete, Clement Papon, Dhekra Mahmoud, Pascal Lafourcade, Mališa Vučinić. ACM ASIA Conference on Computer and Communications Security (ASIACCS), Bangalore, India, 1-5 June 2026.



