Publications HAL de la collection NF-HISEC

2026

Journal articles

titre
Connected vehicles in the 5G era: a position paper
auteur
Maha Bouaziz, Houda Jmila, Skander Mhadhbi, Darine Rammal, Siwar Ben Hadj Said, Ahmad Fadlallah, Álvaro García-Pérez, Christophe Gaston, Rida Khatoun, Leonardo Linguaglossa, Alexis Olivereau, Sami Souihi
article
Annals of Telecommunications - annales des télécommunications, 2026, ⟨10.1007/s12243-026-01171-y⟩
DOI
DOI : 10.1007/s12243-026-01171-y
Accès au texte intégral et bibtex
https://cea.hal.science/cea-05752573/file/s12243-026-01171-y%20%285%29.pdf BibTex
titre
The Brewing Storm in 5G's Data Plane: Design and Evaluation of a High-Performance eBPF/XDP-Based User Plane Function
auteur
Franck Messaoudi, Luhan Wang, Abdelkader Mekrache, Adlen Ksentini, Bingxuan Li, Jialei Su, Sofiane Messaoudi, Salim El Ghalbzouri
article
IEEE Transactions on Network and Service Management, 2026, pp.1-1. ⟨10.1109/TNSM.2026.3720812⟩
DOI
DOI : 10.1109/TNSM.2026.3720812
Accès au bibtex
BibTex

Conference papers

titre
PRIVACYSHIELD: Relaying BLE Beacons to Counter Unsolicited Tracking
auteur
Florian Hofhammer, Daniele Antonioli, Mathias Payer
article
USENIX Security 2026, 35th Usenix Security Symposium, Usenix, Aug 2026, Baltimore, MD, USA, United States
Accès au texte intégral et bibtex
https://hal.science/hal-05575653/file/publi-8677.pdf BibTex
titre
E-Trojans: Ransomware, Tracking, DoS, and Data Leaks on the Xiaomi E-Scooter Ecosystem
auteur
Marco Casagrande, Riccardo Cestaro, Mauro Conti, Eleonora Losiouk, Daniele Antonioli
article
VEHICLESEC 2026, 4th Usenix Symposium on Vehicle Security and Privacy, Usenix, Aug 2026, Baltimore, United States
Accès au texte intégral et bibtex
https://hal.science/hal-05721961/file/publi-8892.pdf BibTex
titre
Effects of an unsynchronized RTS attack on a hardware 802.11ah test bed
auteur
Ignacio José Dasso, Sébastien Maudet, Renzo E. Navas, Guillaume Andrieux
article
IEEE Vehicular Technology Conference (VTC2026-Spring), Jun 2026, Nice, France. ID paper 69044
Accès au texte intégral et bibtex
https://hal.science/hal-05559466/file/202603_Unsynchronized-RTS-attack-80211ah-test-bed.pdf BibTex
titre
Formal Verification of EDHOC-PSK: A Symbolic Approach with SAPIC+
auteur
Elsa Lopez Perez, Thomas Watteyne, Cristina Onete, Dhekra Mahmoud, Pascal Lafourcade, Vaishnavi Sundararajan, Mališa Vučinić
article
ACM ASIACCS 2026 - 21st ACM ASIA Conference on Computer and Communications Security, Jun 2026, Bangalore, India. ⟨10.1145/3779208.3805979⟩
DOI
DOI : 10.1145/3779208.3805979
Accès au texte intégral et bibtex
https://hal.science/hal-05643978/file/asiaccs2026b-final413.pdf BibTex
titre
embedded-cal: A Formally Verified Cryptographic Provider for Embedded Platforms
auteur
Elsa Lopez Perez, William Takeshi Pereira, Thomas Watteyne, Christian Amsüss, Franziskus Kiefer, Jonas Schneider-Bensch, Karthikeyan Bhargavan, Mališa Vučinić
article
IoTSPT 2026 - 15th International Workshop on Security, Privacy, Trust for Internet of Things, IEEE International Conference on Pervasive Computing and Communications (PerCom), Mar 2026, Pisa, Italy
Accès au texte intégral et bibtex
https://hal.science/hal-05524081/file/embedded_cal__A_Formally_Verified_Cryptographic_Provider_for_Embedded_Platforms.pdf BibTex
titre
BLERP: BLE Re-Pairing Attacks and Defenses
auteur
Tommaso Sacchetti, Daniele Antonioli
article
NDSS 2026, 33rd Network and Distributed System Security Symposium, Feb 2026, San Diego, United States. ⟨10.14722/ndss.2026.240121⟩
DOI
DOI : 10.14722/ndss.2026.240121
Accès au texte intégral et bibtex
https://hal.science/hal-05526584/file/publi-8642.pdf BibTex

Reports

titre
Overview of 5G security: objective and reality, SotA on protection mechanisms
auteur
Guillaume Doyen, Philippe Owezarski, Issam Abdeldjalil Ikhelef, Thomas Hoger, Katsuki Isobe, Gregory Blanc, Remi Badonnel, Ahmed Bouabdallah, Nicolas Schnepf
article
NF-HiSec D1.1, NF-HiSec D4.1, Télécom SudParis (Institut Mines-Télécom). 2026
Accès au texte intégral et bibtex
https://hal.science/hal-05651997/file/D1_1-D4_1-Final.pdf BibTex
titre
State-of-the-Art: Secure-Channel Establishment in Constrained Mobile Environments and Lawful Interception
auteur
Elsa López Pérez, Cristina Onete, Clément Papon, Mališa Vučinić
article
L3.1, Inria; Université de limoges. 2026
Accès au texte intégral et bibtex
https://hal.science/hal-05450526/file/NF-HiSec_D31_L31-L43.pdf BibTex

Preprints, Working Papers, ...

titre
Runtime Verification of Communicating Systems Using Data-Aware Interaction Models and Broker-Based Observations
auteur
Darine Rammal, Chana Weil-Kennedy, Boutheina Bannour, Christophe Gaston, Arnault Lapitre, Pascale Le Gall, Erwan Mahe, Maxime Morin, Abdelaziz Ouazzani-Chahidi
article
2026
Accès au texte intégral et bibtex
https://hal.science/hal-05772275/file/SEFM2026_Camera_Ready_final_PDF_51.pdf BibTex
titre
Control Traffic Dataset and Generation Framework for 5G Networks
auteur
Thomas Hoger, Philippe Owezarski, Guilhem Durand-Nauze
article
2026
DOI
DOI : 10.5281/zenodo.15853959
Accès au texte intégral et bibtex
https://laas.hal.science/hal-05530523/file/Papier_CNSM_2025__CTD5G___v2_%20%2828%29.pdf BibTex

2025

Journal articles

titre
On the resilience of traditional AI algorithms toward poisoning attacks for vulnerability detection
auteur
Lorena González-Manzano, Joaquin Garcia‐alfaro
article
IET Information Security, 2025, 2025 (1), pp.1-31. ⟨10.1049/ise2/9997989⟩
DOI
DOI : 10.1049/ise2/9997989
Accès au texte intégral et bibtex
https://hal.science/hal-05309774/file/ITL25-preprint.pdf BibTex
titre
Enhanced Multiuser CSI-Based Physical Layer Authentication Based on Information Reconciliation
auteur
Atsu Kokuvi Angélo Passah, Arsenia Chorti, Rodrigo C. de Lamare
article
IEEE Wireless Communications Letters, 2025, 14 (2), pp.544-548. ⟨10.1109/LWC.2024.3515840⟩
DOI
DOI : 10.1109/LWC.2024.3515840
Accès au texte intégral et bibtex
https://hal.science/hal-05069705/file/Enhanced%20Multiuser%20CSI-based%20Physical%20Layer%20Authentication%20Based%20on%20Information%20Reconciliation.pdf BibTex
titre
Pre-Shared Key Authentication with EDHOC: the Security-Performance Tradeoff
auteur
Elsa Lopez Perez, Thomas Watteyne, Rafael Marin-Lopez, Cristina Onete, Clément Papon, Mališa Vučinić
article
IEEE Access, 2025, pp.1-1. ⟨10.1109/ACCESS.2025.3633152⟩
DOI
DOI : 10.1109/ACCESS.2025.3633152
Accès au texte intégral et bibtex
https://inria.hal.science/hal-05384984/file/Pre-Shared_Key_Authentication_With_EDHOC_The_Security_Performance_Trade_Off_FInal_Version.pdf BibTex

Conference papers

titre
High-accuracy AoA-based Localization using Hierarchical ML Classifiers in Outdoor Environments
auteur
Bac Trinh-Nguyen, Sara Berri, Sin G Teo, Tram Truong-Huu, Arsenia Chorti
article
2025 IEEE Global Communications Conference (GLOBECOM 2025 - ), Dec 2025, Taipei, Taiwan. pp.2180-2185, ⟨10.1109/GLOBECOM59602.2025.11431716⟩
DOI
DOI : 10.1109/GLOBECOM59602.2025.11431716
Accès au texte intégral et bibtex
https://hal.science/hal-05564445/file/globecom2025-12.pdf BibTex
titre
Enhancing Secret Key Generation in Low-Mobility Scenarios by Locally Generated Pilots
auteur
Thuy M Pham, Arsenia Chorti, Gerhard P Fettweis, Rafael F Schaefer
article
2025 IEEE 102nd Vehicular Technology Conference (VTC2025-Fall), Oct 2025, Chengdu, France. pp.1-4, ⟨10.1109/VTC2025-Fall65116.2025.11310612⟩
DOI
DOI : 10.1109/VTC2025-Fall65116.2025.11310612
Accès au texte intégral et bibtex
https://hal.science/hal-05564336/file/SKG_Pilot_randomization_Lowmobility_Outdoor-2.pdf BibTex
titre
PROTEAN: federated intrusion detection in non-IID environments through prototype-based knowledge sharing
auteur
Sara Chennoufi, Yufei Han, Gregory Blanc, Emiliano de Cristofaro, Christophe Kiennert
article
30th European Symposium on Research in Computer Security (ESORICS ), Sep 2025, Toulouse, France. pp.103-125, ⟨10.1007/978-3-032-07884-1_6⟩
DOI
DOI : 10.1007/978-3-032-07884-1_6
Accès au texte intégral et bibtex
https://hal.science/hal-05379203/file/paper_329-3.pdf BibTex
titre
Fine-grained, privacy-augmenting LI-compliance in the LAKE standard - Extended version
auteur
Pascal Lafourcade, Elsa Lopez Perez, Charles Olivier-Anclin, Cristina Onete, Clément Papon, Mališa Vučinić
article
ESORICS 2025 - 30th European Symposium on Research in Computer Security, Sep 2025, Toulouse, France
Accès au texte intégral et bibtex
https://hal.science/hal-05126079/file/LI-EDHOC%20-%20long%20version.pdf BibTex
titre
LUMIA: linear probing for unimodal and multiModal membership inference attacks leveraging internal LLM states
auteur
Luis Ibanez-Lissen, Lorena Gonzalez-Manzano, Jose Maria de Fuentes, Nicolas Anciaux, Joaquin Garcia-Alfaro
article
30th European Symposium on Research in Computer Security (ESORICS), Sep 2025, Toulouse, France. pp.186-206, ⟨10.48550/arXiv.2411.19876⟩
DOI
DOI : 10.48550/arXiv.2411.19876
Accès au texte intégral et bibtex
https://inria.hal.science/hal-05202765/file/ESORICS_2025___LUMIA-8.pdf BibTex
titre
Context-Aware Secret Key Generation Demonstrator based on Physical Layer Security
auteur
Amitha Mayya, Yash Richhariya, Ali Khandan Boroujeni, Sebastian Vorberg, Maximilian Matthé, Rafael Vinz, Linda Senigagliesi, Konstantin Klamka, Arsenia Chorti
article
2025 IEEE Conference on Standards for Communications and Networking (CSCN), Sep 2025, Bologna, France. pp.1-3, ⟨10.1109/CSCN67557.2025.11230701⟩
DOI
DOI : 10.1109/CSCN67557.2025.11230701
Accès au texte intégral et bibtex
https://hal.science/hal-05564346/file/Hexa_X_II_Demo_Paper_CSCN-1.pdf BibTex
titre
SimProcess: High Fidelity Simulation of Noisy ICS Physical Processes
auteur
Denis Donadel, Gabriele Crestanello, Giulio Morandini, Daniele Antonioli, Mauro Conti, Massimo Merro
article
CPSS 2025, 11th ACM Cyber-Physical System Security Workshop, held in conjunction with ACM AsiaCCS'25, ACM, Aug 2025, Hanoi, Vietnam. pp.6-18, ⟨10.1145/3709017.3737711⟩
DOI
DOI : 10.1145/3709017.3737711
Accès au texte intégral et bibtex
https://hal.science/hal-05225598/file/Power_Grid_Simulations_Detection__CPSS25_.pdf BibTex
titre
EmuOCPP: Effective and Scalable OCPP Security and Privacy Testing
auteur
Soumaya Boussaha, Victor Fresno Gómez, Thomas Barber, Daniele Antonioli
article
VEHICLESEC 2025, 3rd USENIX Symposium on Vehicle Security and Privacy Co-located with USENIX Security 2025, Usenix, Aug 2025, Seattle, United States
Accès au texte intégral et bibtex
https://hal.science/hal-05127201/file/publi-8235.pdf BibTex
titre
CheckOCPP: Automatic OCPP Packet Dissection and Compliance Check
auteur
Soumaya Boussaha, Victor Fresno Gómez, Thomas Barber, Daniele Antonioli
article
ACSW 2025, 4th Workshop on Automotive Cyber Security, in conjunction with IEEE EuroS&P 2025, IEEE, Jun 2025, Venice, Italy
Accès au texte intégral et bibtex
https://hal.science/hal-05157766/file/Workshop_Dissector2.pdf BibTex
titre
CTRAPS: CTAP Client Impersonation and API Confusion on FIDO2
auteur
Marco Casagrande, Daniele Antonioli
article
2025 IEEE 10th European Symposium on Security and Privacy (EuroS&P), Jun 2025, Venice, Italy. pp.1034-1048, ⟨10.1109/EuroSP63326.2025.00063⟩
DOI
DOI : 10.1109/EuroSP63326.2025.00063
Accès au texte intégral et bibtex
https://hal.science/hal-05406456/file/paper.pdf BibTex
titre
Enhancing Artificial Intelligence with Verification Techniques to Support Automated Moving Target Defense in Cloud Composite Services
auteur
Mohamed Oulaaffart, Rémi Badonnel, Nicolas Schnepf, Christophe Bianco
article
2025 IEEE 11th International Conference on Network Softwarization (NetSoft), IEEE, Jun 2025, Budapest, France. ⟨10.1109/NetSoft64993.2025.11080533⟩
DOI
DOI : 10.1109/NetSoft64993.2025.11080533
Accès au bibtex
BibTex
titre
Industrial IoT cybersecurity: a bibliometric analysis
auteur
Ignacio J. Dasso, Sébastien Maudet, Renzo E. Navas, Guillaume Andrieux
article
SpliTech 2025: 10th International Conference on Smart and Sustainable Technologies, IEEE, Jun 2025, Split, Croatia. pp.#1571125762, ⟨10.23919/SpliTech65624.2025.11091687⟩
DOI
DOI : 10.23919/SpliTech65624.2025.11091687
Accès au texte intégral et bibtex
https://hal.science/hal-05039566/file/HAL-AuthorVersion-2025_04_IgnacioIoTSecurity_Bibliometric.pdf BibTex
titre
Energy Efficient and Delay-Guaranteed User Association Algorithm for O-RAN
auteur
Solomon Orduen Yese, Sara Berri, Arsenia Chorti
article
International Conference on Communications (ICC), IEEE, Jun 2025, Montréal, Canada
Accès au texte intégral et bibtex
https://hal.science/hal-05113978/file/Energy_Efficient_and_Delay_Guaranteed_User_Association_Algorithm_for_O_RAN-23.pdf BibTex
titre
Multi-domain anomaly detection in a 5G network
auteur
Thomas Hoger, Philippe Owezarski
article
Rendez-vous de la Recherche et de l'Enseignement de la Sécurité des Systèmes d'Information (RESSI), May 2025, Quimper, France
Accès au texte intégral et bibtex
https://hal.science/hal-05085716/file/main.pdf BibTex
titre
Eagle: Vulnerability and Congestion Aware Software Update Synthesis in Softwarized Networks with a 5G Network Case Study
auteur
Nicolas Schnepf, Remi Badonnel, Damien Saucez, Stefan Schmid, Jiří Srba
article
NOMS 2025 - IEEE Network Operations and Management Symposium, IEEE / IFIP, May 2025, Hawaii, United States. pp.1-9, ⟨10.1109/NOMS57970.2025.11073658⟩
DOI
DOI : 10.1109/NOMS57970.2025.11073658
Accès au texte intégral et bibtex
https://hal.science/hal-05185079/file/Eagle___NOMS_2025.pdf BibTex

Poster communications

titre
Failures and Cyberattacks on IoT Devices: Interactions and Challenges.
auteur
Théo Serru, Guillaume Andrieux, Olivier Pasquier, Sébastien Pillement
article
European Cyber Week - The Sovereign Cyber & Defence AI forum, Nov 2025, Rennes, France
Accès au texte intégral et bibtex
https://hal.science/hal-05335117/file/2025_ECW_Poster_Serru_Theo.pdf BibTex
titre
Evaluation of the Interactions Between Cybersecurity and Reliability Mitigations in the Internet of Things
auteur
Théo Serru, Guillaume Andrieux, Olivier Pasquier, Sébastien Pillement
article
Colloque du GDR SOC2, Jun 2025, Lorient, France. pp.sciencesconf.org:gdr-soc2-2025:635783, 2025
Accès au bibtex
BibTex

Reports

titre
Deliverable D2.1 Joint state of the art on detection technologies for future networks
auteur
Daniele Antonioli, Christophe Gaston, Houda Jmila, Chana Weil-Kennedy
article
CEA - Commissariat à l'énergie atomique et aux énergies alternatives; Eurecom. 2025
Accès au texte intégral et bibtex
https://hal.science/hal-05052470/file/NF%20HiSec%20D2.1.pdf BibTex

Preprints, Working Papers, ...

titre
Towards Secure Service Deployment in Cloud-Edge Continuum
auteur
Ruslan Bondaruc, Nicolas Schnepf, Rémi Badonnel, Claudio A. Ardagna, Marco Anisetti
article
2025
DOI
DOI : 10.1109/TNSM.2025.3606624
Accès au bibtex
BibTex

2024

Journal articles

titre
AttackDefense Framework (ADF): Enhancing IoT Devices and Lifecycles Threat Modeling
auteur
Tommaso Sacchetti, Marton Bognar, Jesse de Meulemeester, Benedikt Gierlichs, Frank Piessens, Volodymyr Bezsmertnyi, Maria Chiara Molteni, Stefano Cristalli, Arianna Gringiani, Olivier Thomas, Daniele Antonioli
article
ACM Transactions on Embedded Computing Systems (TECS), 2024, ⟨10.1145/3698396⟩
DOI
DOI : 10.1145/3698396
Accès au texte intégral et bibtex
https://hal.science/hal-04735344/file/3698396.pdf BibTex
titre
EDHOC is a New Security Handshake Standard: An Overview of Security Analysis
auteur
Elsa López Pérez, Göran Selander, John Preuß Mattsson, Thomas Watteyne, Mališa Vučinić
article
Computer, 2024
Accès au texte intégral et bibtex
https://inria.hal.science/hal-04635881/file/EDHOC_is_a_New_Security_Handshake_Standard__Overview_of_Security_Analysis.pdf BibTex

Conference papers

titre
Ph.D. Forum: Enhancing EDHOC Protocol with Pre-Shared Key Authentication
auteur
Elsa Lopez Perez
article
SenSys 2024 - Conference on Embedded Networked Sensor Systems, Nov 2024, Hangzhou, China. pp.923-925, ⟨10.1145/3666025.3699670⟩
DOI
DOI : 10.1145/3666025.3699670
Accès au texte intégral et bibtex
https://inria.hal.science/hal-04830417/file/ACM_Enhancing_EDHOC_Protocol_with_Pre_Shared_Key_Authentication.pdf BibTex
titre
Pre-Shared Key Authentication in Ephemeral Diffie-Hellman Over COSE
auteur
Elsa Lopez Perez, Thomas Watteyne, Mališa Vučinić
article
IOTSMS 2024 - 11th International Conference on Internet of Things: Systems, Management and Security, Malmo University, Sep 2024, Malmo, Sweden
Accès au texte intégral et bibtex
https://inria.hal.science/hal-04668824/file/Pre_Shared_Key_Authentication_in_Ephemeral_Diffie_Hellman_Over_COSE.pdf BibTex
titre
Optimal UAV-trajectory design in a dynamic environment using NOMA and deep reinforcement learning
auteur
Fatemeh Banaeizadeh, Michel Barbeau, Joaquin Garcia‐alfaro, Evangelos Kranakis
article
IEEE Canadian Conference on Electrical and Computer Engineering (CCECE), Aug 2024, Kingston, France. pp.277-282, ⟨10.1109/CCECE59415.2024.10667252⟩
DOI
DOI : 10.1109/CCECE59415.2024.10667252
Accès au texte intégral et bibtex
https://hal.science/hal-04762084/file/1571000942-final.pdf BibTex
titre
Location optimization for tethered aerial base station serving mmWave high altitude UAVs
auteur
Pravallika Katragunta, Michel Barbeau, Joaquin Garcia‐alfaro, Evangelos Kranakis, Venkata Srinivas Kothapalli
article
IEEE Canadian Conference on Electrical and Computer Engineering (CCECE), Aug 2024, Kingston, France. pp.271-276, ⟨10.1109/CCECE59415.2024.10667117⟩
DOI
DOI : 10.1109/CCECE59415.2024.10667117
Accès au texte intégral et bibtex
https://hal.science/hal-04762101/file/1571012068-final.pdf BibTex
titre
SoK: federated learning based network intrusion detection in 5G: context, state of the art and challenges
auteur
Sara Chennoufi, Gregory Blanc, Houda Jmila, Christophe Kiennert
article
The 19th International Conference on Availability, Reliability and Security (ARES), Jul 2024, Vienna, Austria. pp.1-13, ⟨10.1145/3664476.3664500⟩
DOI
DOI : 10.1145/3664476.3664500
Accès au texte intégral et bibtex
https://hal.science/hal-04669287/file/SoK__Federated_Learning_based_Network_Intrusion_Detection_in_5G__Context__State_of_the_Art_and_Challenges-8.pdf BibTex
titre
Assessing the energetical cost of 5G softwarization
auteur
Aude Jean-Baptiste, Philippe Owezarski, Pascal Berthou, Isabelle Silvain
article
International Symposium on Local and Metropolitan Area Networks (LANMAN'2024), IEEE, Jul 2024, Boston (MA), United States. ⟨10.1109/LANMAN61958.2024.10621896⟩
DOI
DOI : 10.1109/LANMAN61958.2024.10621896
Accès au texte intégral et bibtex
https://laas.hal.science/hal-04602752/file/Owe_LANMAN2024.pdf BibTex