Thèse Année : 2024

Protocol-level Attacks and Defenses to Advance IoT Security

Attaques et défenses au niveau du protocole pour faire progresser la sécurité de l'IoT

Marco Casagrande

Résumé

The Internet of Things (IoT) has become pervasive in modern life, with an ever-expanding market. These devices serve a variety of purposes, aiding and accompanying users in daily activities. However, as they frequently communicate with other devices, such as smartphones running companion apps, they present a significant attack surface. Furthermore, their constrained resources—limited computational power, battery capacity, and cryptographic support—make them attractive targets for malicious actors. For instance, adversaries could compromise the privacy of fitness trackers by leaking sensitive health data, undermine the security of FIDO2 authenticators, or jeopardize the availability and safety of electric scooters, potentially resulting in hazardous outcomes such as fire risks.Conventional security solutions used in the web domain, such as TLS and certificate-based authentication, are often unsuitable for IoT connectivity. Instead, IoT devices typically rely on vendor-specific, application-layer protocols operating over standard transport layers such as Bluetooth, Bluetooth Low Energy (BLE), NFC, or USB. These protocols reinvent standard security mechanisms—such as key agreement, authentication, session management, and encryption—with varying degrees of success, often introducing significant vulnerabilities. Gaining a comprehensive understanding of these protocols typically requires extensive reverse engineering and manual analysis.In this thesis, we examine a diverse range of IoT devices, spanning various levels of complexity and security robustness. We introduce Smart Testing tools designed to facilitate security assessments of these devices. Our evaluation focuses on the ecosystems of Xiaomi and Fitbit fitness trackers, Xiaomi electric scooters, and FIDO2 authenticators. Regardless of whether their underlying protocols are open-source (e.g., FIDO2) or proprietary (e.g., Xiaomi), or whether their hardware capabilities vary significantly (e.g., fitness trackers vs. electric scooters), we uncovered multiple protocol-level vulnerabilities. These weaknesses allowed us to compromise the security, privacy, availability, and safety of the devices, with tangible real-world consequences for both users and the broader vendor ecosystems.Our Smart Testing tools not only enable the detection of these vulnerabilities but also provide advanced features that support future research. These include capabilities such as fitness tracker impersonation, firmware binary analysis for electric scooters, and the development of virtual environments for FIDO2 devices.

L'Internet des objets (IoT) est devenu omniprésent dans la vie moderne, avec un marché en constante expansion. Ces dispositifs remplissent une variété de fonctions, aidant et accompagnant les utilisateurs dans leurs activités quotidiennes. Cependant, comme ils communiquent fréquemment avec d'autres appareils, tels que les smartphones exécutant des applications compagnons, ils présentent une surface d'attaque significative. De plus, leurs ressources limitées—faible puissance de calcul, capacité de batterie restreinte et support cryptographique limité—en font des cibles attrayantes pour des acteurs malveillants. Par exemple, des adversaires pourraient compromettre la confidentialité des trackers de fitness en divulguant des données de santé sensibles, saper la sécurité des authentificateurs FIDO2, ou encore compromettre la disponibilité et la sécurité des trottinettes électriques, entraînant potentiellement des risques d'incendie. Les solutions de sécurité conventionnelles utilisées dans le domaine du web, telles que TLS et l'authentification par certificats, sont souvent inadaptées à la connectivité IoT. À la place, les dispositifs IoT reposent généralement sur des protocoles spécifiques au fabricant, opérant au niveau de la couche application, par-dessus des couches de transport standards comme le Bluetooth, le Bluetooth Low Energy (BLE), le NFC ou l'USB. Ces protocoles sur mesure réinventent fréquemment des mécanismes de sécurité essentiels—comme l'accord de clés, l'authentification, la gestion des sessions et le chiffrement—avec un succès variable, introduisant souvent des vulnérabilités significatives. Une compréhension approfondie de ces protocoles nécessite généralement une ingénierie inverse poussée et une analyse manuelle. Dans cette thèse, nous examinons une gamme variée de dispositifs IoT, couvrant différents niveaux de complexité et de robustesse en matière de sécurité. Nous introduisons des outils de test intelligents conçus pour faciliter les évaluations de sécurité de ces appareils. Notre évaluation se concentre sur les écosystèmes des trackers de fitness Xiaomi et Fitbit, des trottinettes électriques Xiaomi et des authentificateurs FIDO2. Que leurs protocoles sous-jacents soient open-source (comme FIDO2) ou propriétaires (comme Xiaomi), ou que leurs capacités matérielles varient considérablement (par exemple, les trackers de fitness par rapport aux trottinettes électriques), nous avons découvert plusieurs vulnérabilités au niveau des protocoles. Ces faiblesses nous ont permis de compromettre la sécurité, la confidentialité, la disponibilité et la sûreté des dispositifs, avec des conséquences concrètes dans le monde réel pour les utilisateurs et les écosystèmes des fabricants. Nos outils de test intelligents permettent non seulement de détecter ces vulnérabilités, mais offrent également des fonctionnalités avancées qui soutiennent les recherches futures. Cela inclut des capacités telles que l'usurpation d'identité des trackers de fitness, l'analyse binaire des firmwares de trottinettes électriques, et le développement d'environnements virtuels pour les dispositifs FIDO2.

Fichier principal
Vignette du fichier
145708_CASAGRANDE_2024_archivage.pdf (3.1 Mo) Télécharger le fichier

Dates et versions

tel-05019219 , version 1 (03-04-2025)

Licence

Identifiants

  • HAL Id : tel-05019219 , version 1

Citer

Marco Casagrande. Protocol-level Attacks and Defenses to Advance IoT Security. Cryptography and Security [cs.CR]. Sorbonne Université, 2024. English. ⟨NNT : 2024SORUS538⟩. ⟨tel-05019219⟩
316 Consultations
3327 Téléchargements

Partager

  • More