Analyse des propriétés de sécurité dans les implémentations du Bluetooth Low Energy


Le Bluetooth Low Energy (BLE) est issu d’une norme complexe et qui laisse une grande latitude aux implémentations. Les fonctions de sécurité du BLE sont disséminées dans plusieurs couches protocolaires. Le fonctionnement du BLE et de sa sécurité ont été étudiés, avant qu’un état de l’art ne permette de comprendre les différentes attaques possibles et leurs impacts. Puis la propagation des propriétés de sécurité est étudiée sous le prisme de la norme avant d’étudier son implémentation dans les piles BLE de Linux et d’Android. Cette étude permet de conclure que la norme comporte des incohérences et de détecter des non conformités sur les implémentations étudiées.

PDF de la présentation :
https://www.sstic.org/media/SSTIC2021/SSTIC-actes/analyse_des_proprietes_de_securite_dans_les_implem/SSTIC2021-Slides-analyse_des_proprietes_de_securite_dans_les_implementations_du_bluetooth_low_energy-lopes-esteves__4gR9U4R.pdf

Vidéo de la présentation :
https://www.sstic.org/2021/presentation/analyse_des_proprietes_de_securite_dans_les_implementations_du_bluetooth_low_energy/