Recherche Avancée

Thèse en cours

Preuves de protocoles cryptographiques : automatisation par solveurs SMT dans l'outil Squirrel

FR
Auteur / Autrice : Stanislas Riou
Direction : David Baelde, Stéphanie Delaune
Type : Projet de thèse
Discipline(s) : Informatique
Date : Inscription en doctorat le 22/09/2023
Etablissement(s) : Université de Rennes (2023-....)
Ecole(s) doctorale(s) : Mathématiques, informatique, signal et électronique et télécommunications.
Partenaire(s) de recherche : Equipe de recherche : INSTITUT DE RECHERCHES EN INFORMATIQUE ET SYSTEMES ALEATOIRES