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…
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.
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.
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.
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.
Pre-Shared Key Authentication with EDHOC: The Security-Performance Tradeoff. Elsa Lopez Perez, Thomas Watteyne, Rafael Marin-Lopez, Cristina Onete, Mališa Vučinić. IEEE Access, to appear in 2025.
Automatic Lighthouse Calibration Using Conics for Indoor Robot Localization. Said Alvarado-Marin, Alexander Abadie, Martina Balbi, Thomas Watteyne, Filip Maksimovic. IEEE International Conference on Robotics & Automation (ICRA), conference version of the RAL article, Vienna, Austria, 1-5 June 2026.
Management of 6TiSCH Networks Using CORECONF: A Clustering Use Case. Fabian Graf, David Pauli, Michael Villnow, Thomas Watteyne. IEEE Transactions on Network and Service Management (TNSM), to appear in 2025.
TopoFormer: An Efficient Link-Set Prediction Architecture for Ad Hoc Network Topology Generation. Félix Marcoccia, Victor Fagoo, Gilles Monzat de Saint Julien, Cédric Adjih, Thomas Watteyne, Paul Mühlethaler. Learning on Graphs Conference (LOG), Phoenix, AZ, USA, 10-12 December 2025.
Experimental Investigation of Bit Errors in Coexisting BLE and IEEE 802.15.4 Channels. Diego Badillo-San-Juan, Alfonso Cortés, Said Alvarado-Marin, Alexandre Abadie, Fabian Graf, Thomas Watteyne, Filip Maksimovic. IFIP International Conference on Performance Evaluation and Modeling in Wired and Wireless Networks (PEMWN), Paris, France, November 25-27 2025
