Preuves d'analyse et de sécurité en cryptologie à clé secrète

Cette these s'interesse, pour l'essentiel, a deux des principaux aspects de la cryptologie symetrique, a savoir la cryptanalyse et l'etude des preuves de securite des algorithmes de chiffrement par blocs. Une attaque contre un schema de signature a cle publique est egalement presentee. Apres avoir decrit dans une premiere partie les principales techniques de conception et d'analyse d'algorithmes de chiffrement par blocs, nous developpons, dans une deuxieme partie, trois cryptanalyses realisees durant cette these. La premiere est une attaque nommee cryptanalyse stochastique menee sur une version a huit etages de l'algorithme Crypton, candidat de l'Advanced Encryption Standard (AES). La seconde cryptanalyse, qui constitue une amelioration de l'attaque dite par saturation, concerne une version a sept etages de l'AES. Nous developpons enfin une attaque contre le schema de signature a cle publique SFLASH utilisant une faiblesse particuliere des parametres de ce schema. La troisieme partie est consacree aux preuves de securite des algorithmes de chiffrement par blocs dans le modele dit de Luby et Rackoff. Apres avoir decrit les notions de base necessaires a la comprehension de telles preuves, en nous appuyant principalement sur les travaux de J. Patarin et S. Vaudenay, nous presentons de nouveaux resultats de securite prouvee obtenus sur deux variantes du schema de Feistel.