Soutenance de thèse

par Julien Lepiller — lun. 02 décembre 2019

Je soutiendrai ma thèse « Vérification d'isolation de fautes logicielle » le 11 décembre 2019 à 14h, en salle Métivier à l'Inria Rennes. La soutenance sera suivie d'un pot en salle Sein.

Résumé

Nous sommes habitués à utiliser des ordinateurs sur lesquels coopèrent des programmes d'origines diverses. Chacun de ces programmes a besoin d'accéder à de la mémoire vive pour fonctionner correctement, mais il ne faudrait pas qu'un programme accède ou modifie la mémoire d'un autre programme. Si cela ce produisait, les programmes ne pourraient plus faire confiance à la mémoire et pourraient se comporter de manière erratique. Les programmeurs n'ont pourtant pas besoin de se mettre d'accord à l'avance sur les zones mémoire qu'ils pourront ou non utiliser. Le matériel s'occupe d'allouer des zones de mémoire distinctes pour chaque programme. Tout cela est transparent pour le programmeur. Un programme malveillant ne pourrait d'ailleurs pas non plus accéder ou modifier la mémoire d'un autre programme pour l'attaquer directement. Mais il existe une catégorie de programmes qui ne bénéficient pas de cette protection : les modules qui étendent les fonctionnalités d'autres programmes, comme un module complémentaire de navigateur. Cette thèse repose sur une technique d'isolation de faute logicielle, et non matérielle et en propose deux sémantiques, l'une parallèle et pas l'autre, ainsi qu'un analyseur statique basé sur l'interprétation abstraite. Elle présente aussi une preuve de correction de l'analyseur.

Jury

Marie-Laure POTET - Université de Grenoble Alpes

Antoine MINE - LIP6

Gustavo PETRI - Arm Ltd

Sandrine BLAZY - Université de Rennes 1

Frédéric BESSON - Inria

Thomas JENSEN - Inria

Lieu

La soutenance aura lieu en salle Métivier, à l'Inria Rennes. Le bâtiment se trouve sur le campus de Beaulieu de l'Université Rennes I. Vous pouvez vous garer sur le campus ou venir en bus à l'arrêt Les Préales (C4 ou C6 depuis République).

L'entrée se trouve ici.

Vous devrez présenter une pièce d'identité à l'accueil.

Bonus

Les collègues m'ont préparé une affiche de thèse ♥

affiche de thèse

(référence générale et une incrustée, une autre, encore une et une moins évidente)