Catégorie: Poster
Auteur: Olivier Levillain
Date: janvier 2022

Nos systèmes d'information utilisent aujourd'hui des protocoles réseau d'une grande complexité, tels que TLS. Afin de mieux comprendre les implémentations de ces protocoles, nous avons développé un outil d'analyse pour inférer la machine à état d'une pile logicielle donnée et pour détecter les écarts par rapport à la spécification. Ces travaux nous ont permis de mettre en évidence des vulnérabilités, puis d'assister les éditeurs des piles affectées dans la correction de leur code.

BibTeX Présentation