UNIVERSITÉ DE REIMS CHAMPAGNE-ARDENNE ECOLE DOCTORALE S CIENCES TECHNOLOGIES ET S ANTÉ (547) THÈSE pour obtenir le titre de Docteur en Sciences de l’Université de Reims Champagne-Ardenne Discipline : I NFORMATIQUE Présentée par Florian L EGENDRE Exploitation de la logique propositionnelle pour la résolution des problèmes cryptographiques Thèse co-dirigée par Michaël KRAJECKI et Gilles DEQUEN préparée à l’Université de Reims Champagne-Ardenne soutenue publiquement le 30 Juin 2014 Jury : Président : Bertrand MAZURE - Professeur à l’Université d’Artois Rapporteur : Serge V AUDENAY - Professeur à l’École Polytechnique Fédérale de Lausanne Directeurs : Michaël KRAJECKI - Professeur à l’Université de Reims Champagne-Ardenne Gilles DEQUEN - Professeur à l’Université de Picardie Jules Verne Examinateurs : Stéphane MANUEL - Enseignant-Chercheur à l’École Polytechnique Féminine Valérie ROUAT - Chercheur à DGA Maîtrise de l’Information Daniel SINGER - Maître de Conférence à l’Université de Lorraine