Bruno Blanchet Equipe Interpretation abstraite

Action Specifique Securite Bruno Blanchet Equipe Interpretation abstraite sous la direction de Patrick Cousot Departement d'Informatique, Ecole Normale Superieure Mai 2002

• analyse de protocoles cryptographiques


• determiner des proprietes semantiques des programmes


• analyse de processus du pi calcul et des ambients


• analyse de programmes probabilistes pour la securite


• equipe interpretation abstraite


• analyse de confidentialite pour le code mobile


• instances du meme processus