Méthodes formelles et Cyber-Sécurité au LAAS

Vous pouvez retrouver l’intégralité des présentations et des vidéos des interventions du colloque.
La vidéo de la présentation : Détection des codes malveillants par analyse morphologique