Description : Outils de test et de vérification pour la sécurité / Testing and Verification Tools for
Security

La sécurité des logiciels est devenue une préoccupation majeure dans un contexte où ceux-ci pilotent la plupart des activités humaines et qui est marqué par un boom de la cybercriminalité et des tensions internationales accrues aussi sur le cyberespace. Le boom récent des nouvelles techniques de génération semi-aléatoire de tests (fuzzing) a ouvert de nouvelles perspectives pour la détection de certaines failles de sécurité. Dans ce défi, il s’agira de trouver des solutions efficaces pour explorer le programme, le tester par rapport aux propriétés de sécurité, détecter des failles potentielles, confirmer leur exploitabilité, etc. Des outils mettant en œuvre ces techniques doivent être développés et évalués sur des logiciels de taille réelle.