Accepted Papers

1 A Lightweight Authentication Using Binary Fuse Filters in Resource Constrained IoT
Iain Baird, Isam Wadhaj, Baraq Ghaleb, Gordon Russell and Craig Thomson

2 Deterministic Asynchronous Consensus with Some Crash-Immune Processes
Ajay Kshemkalyani and Anshuman Misra

3 Deep Graph Learning for Structural Vulnerability Assessment in IPv6 Transition Networks
Mouataz Hamdou, Ali El Ksimi, Samir Bouali, M’Barek El Haloui and Badia Ettaki

4 Quantifying CPU Configuration Effects on DNS Resolver Power Consumption
Capucine Barré, Francesca Bassi and Sébastien Tixeuil

5 FLAIR: Distributed Federated Learning with Dynamic Clustering
Ihssan Boutebicha, Bilel Zaghdoudi, Mohamed Amine Legheraba and Maria Potop-Butucaru

6 Representation Collapse in Self-Supervised EEG Models: A Cross-Subject Analysis of Foundation Model Failures
Soma Tohidinia and Zakarya Farou

7 A Methodology to Assess Power Modeling in Energy-Aware Federated Learning on Heterogeneous Mobile Devices
Chaimae Jallouli, Karim Boubouh and Robert Basmadjian

8 Adaptive Bitwidth Abstraction for Distributed Bounded Model Checking of Concurrent Programs
Anna Lisa Ferrara, Bernd Fischer, Salvatore La Torre, Gennaro Parlato and Peter Schrammel

9 VoteRE: Multi-LLM Consensus for Relation Extraction
Mounir Ourekouch, Mohammed-Amine Koulali and Mohammed Erradi

10 S‑GBT: Smooth Growth Bound Tensor for Certified Robustness Against Word Substitution Attacks in NLP
Mohammed Bouri, Mohammed Erradi and Adnane Saoud

11 RAV: A Unified Two-Stage Recognition and Verification Framework for Biometric Authentication
Younes Ouialane, Anas Moutaoikil, Rihab Elyousfi and Yassin Terraf

12 Identifying Conditionally Relevant Variables for Safety-Critical Controllers under Single-Event Upsets
Ganesha and Sujit Kumar Chakrabarti

13 Byzantine Cheap Talk: Adversarial Resilience and Topology Effects in LLM Coordination Games
Aya El Mir, Martin Takáč and Salem Lahlou

14 Verifying Sequential Consistency under Bounded Preemptions
R Govind, S Krishna, Sanchari Sil and B Srivathsan

15 On computing reachable configurations of Pushdown Systems with an Upper Stack
Shijie Lin and Tayssir Touili