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

par Stanislas Riou

Projet de thèse en Informatique

Sous la direction de David Baelde et de Stéphanie Delaune.

Thèses en préparation à l'Université de Rennes (2023-....) , dans le cadre de Mathématiques, informatique, signal et électronique et télécommunications. , en partenariat avec INSTITUT DE RECHERCHES EN INFORMATIQUE ET SYSTEMES ALEATOIRES (equipe de recherche) depuis le 22-09-2023 .

mots clés

• Département Sciences et technologies de l'information et de la communication

Pas de résumé en français disponible.

Pas de résumé disponible.