Bruno Blanchet Equipe Interpretation abstraite

Bruno Blanchet

Description

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

Sujets

• Thalès
• École polytechnique
• Blanchet

Informations

• Publié par: pefav
• Publié le: 01 mai 2002
• Nombre de lectures: 41
• Langue: Français

Extrait

ActionSp´ecifiqueSe´curit´e

Bruno Blanchet Interpre´tationa

´ EquipeInterpre´tationa bstraite

sous la direction de Patrick Cousot

D´partement d’Informatique, e ´ EcoleNormaleSup´erieure

NormaleSup´erieure

Mai

2002

PartieI:letravaildel’e´quipeInterpre´tationabstraite duLIENSpourl’ActionSp´ecifiqueS´ecurit´e

Analyse de protocoles cryptographiques (David Monniaux, Bruno Blanchet)

Analysedeconfidentialite´pourlecodemobile (J´eroˆmeF´eret)

Tatouage semantique de logiciel ´ (Patrick Cousot, projet TUAMOTU du RNRT)

S´ecurisationdeprogrammesparcontroˆleurd’exe´cution (PatrickCousot,avecRadhiaCousot, ´ EcolePolytechnique)

Futur :edysroepamgrspmeaborilibsetsruoptie´cerual´snAla (David Monniaux)

1

Analyse de protocoles cryptographiques

Proce´duresdede´cisionpourleslogiques de croyances, comme BAN et GNY (David Monniaux).

Ve´rificationdesecretencalculantunesurapproximationdel’ensemble desmessagesquel’attaquantpeutavoir,repr´esent´eepardes automates d’arbres(David Monniaux).

Repre´sentationabstraitedesprotocolespardes clauses de Horn(Bruno Blanchet)

2