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…

Continue reading

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.

Continue reading

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.

Continue reading

IEEE ICRA Paper Accepted!!

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. 

Continue reading

LOG paper accepted!!

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.

Continue reading

PEMWN paper accepted!!

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

Continue reading