Protocoles de chiffrement authentifié, sécurité, débit et prouvabilité

par Simon Cogliani

Projet de thèse en Informatique

Sous la direction de David Naccache.

Thèses en préparation à Paris Sciences et Lettres , dans le cadre de École doctorale de Sciences mathématiques de Paris Centre (Paris) , en partenariat avec LIENS - Laboratoire d'informatique de l'École normale supérieure (laboratoire) et de École normale supérieure (Paris ; 1985-....) (établissement de préparation de la thèse) depuis le 01-10-2013 .


  • Résumé

    Il s'agira de mettre en place un algorithme de chiffrement authentifié afin de pallier aux faiblesses de l'algorithme de chiffrement authentifié AES-GCM. De plus, il s'agira de prouver formellement la sécurité de ce dernier. Un concours est alors proposé, CAESAR et permet à plusieurs intervenants de proposer leurs solutions. Par ailleurs, cette thèse fera aussi l'objet de plusieurs optimisations en complexité temps et mémoire sur des protocoles alors déjà bien connus (Protocole à divulgation nulle de connaissance de Fiat-Shamir, vérification de plusieurs signatures en réduisant le nombre de tests).

  • Titre traduit

    Authenticated encryption protocols, security, flow and proofability


  • Résumé

    It will set up an authenticated encryption algorithm to overcome the weaknesses of the authenticated encryption algorithm AES-GCM. In addition, it will be formally prove the safety of the latter. A competition is then proposed, CAESAR and allows to provide a new solution. In addition, in this thesis it will be made several optimizations in both time and memory complexity on very well known protocols (Protocol Zero-Knowledge of Fiat-Shamir, checking batch signatures by reducing the number of tests).