Moniteurs d'exécution de confiance

par Marius Monnier

Projet de thèse en Informatique

Sous la direction de Gwen Salaün.

Thèses en préparation à l'Université Grenoble Alpes , dans le cadre de École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) , en partenariat avec Laboratoire d'Informatique de Grenoble (laboratoire) depuis le 01-10-2021 .


  • Résumé

    Les solutions de vérification (décentralisée) à l'exécution repose sur des hypothèses implicites qui limitent fortement l'acceptabilité des solutions proposées d'un point de vue sécurité (confidentialité et intégrité). Cette thèse vise à poser les fondations pour obtenir des implémentations de moniteurs de confiance pour les systèmes standard et décentralisés implémentés en Java.

  • Titre traduit

    In Monitors, we can Trust


  • Résumé

    Most of the (decentralized) runtime verification research efforts rely on implicit hypothesis that severely hinder the acceptability of the developed solutions from a security perspective. This thesis aims at building the foundations for trustable instrumentation and monitors for standard and decentralized Java applications.