| Thomas Jensens |  |
 |
Date de l'exposé : 25 mai 2007
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.
