Séminaire de Cryptographie

Accueil     Présentation     Archives

Thomas Jensens


Le projet Lande : analyse de logiciel pour la sécurité

Les activités du projet Lande portent sur l'analyse statique de logiciel avec la sécurité logicielle comme domaine d'application privilégié. Dans cet exposé, je vais esquisser les bases théoriques de l'analyse statique et donner des exemples d'application à l'analyse de protocoles cryptographiques et de codes mobiles.