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

by Stanislas Riou

Thesis project in Informatique

Under the supervision of David Baelde and Stéphanie Delaune.

Ongoing thesis at Université de Rennes (2023-....) , under the authority of Mathématiques, informatique, signal et électronique et télécommunications. , in a partnership with INSTITUT DE RECHERCHES EN INFORMATIQUE ET SYSTEMES ALEATOIRES (equipe de recherche) since 22-09-2023 .