Jury :

Daniel Augot (INRIA)
Claude Carlet (Université de Caen)
Pascale Charpin (INRIA), Directrice
Gerard Cohen (ENST)
Michel Minoux (Université Paris 6), Président
Jean-Jacques Quisquater (Université catholique de Louvain), Rapporteur
Brigitte Vallee (Université de Caen), Rapporteur

Résumé :

Cette thèse s'articule autour de deux axes de recherche : le premier concerne l'étude des fonctions booléennes en tant qu'objets cryptographiques, mais aussi en termes de codes correcteurs d'erreurs ; le deuxième traite de la protection des droits d'auteur pour les images numériques.

Nous développons dans la première partie les liens qui unissent les fonctions booléennes aux codes de Reed-Muller. Outre quelques résultats théoriques nouveaux sur certains des translatés des codes de Reed-Muller d'ordre un, nous présentons l'exploration d'un corpus particulier : les translatés engendrés par des idempotents. Cette approche algébrique nous permet d'obtenir des fonctions booléennes présentant de bonnes propriétés cryptographiques : elles sont équilibrées, de degré élevé, et possèdent une haute non-linéarité ; ces propriétés sont combinées ici avec une forte immunité aux corrélations. Ces fonctions peuvent ainsi être directement utilisées pour la conception de générateurs pseudo-aléatoires fiables en vue d'un système de chiffrement à flot.

Nous nous intéressons dans la deuxième partie à la protection des droits d'auteur pour les images numériques. Notre travail, effectué dans le cadre du projet européen Aquarelle, a débouché sur un logiciel prototype qui permet à un utilisateur de marquer ses images et de vérifier en interrogeant un serveur si une image donnée appartient bien à un ayant droit donné. Ce système fait intervenir un tiers de confiance qui stocke les clefs de marquage et opère les vérifications. L'échange d'une clef entre un utilisateur et le tiers de confiance s'effectue à l'aide du protocole de Diffie-Hellman.

Vous pouvez télécharger ici les différentes parties au format .ps.gz :

• Le début (Titre, Remerciements, Introduction générale, Introduction à la cryptographie) (47 Ko, pp 1-8)
• La première partie : Fonctions booléennes et Codes de Reed-Muller (410 Ko, pp 9-142)
• La deuxième partie : Marquage d'images numériques :
  • Le texte (sans les images, qui sont très volumineuses) (190 Ko, pp 143-158, 165-170, 177-202)
  • Le premier lot d'images de la deuxième partie (Utilisation de l'algorithme UCL1) (8,5 Mo, pp 159-164)
  • Le deuxième lot d'images de la deuxième partie (Utilisation de l'algorithme UCL2) (8,5 Mo, pp171-176)
• La fin (Perspectives, Annexe concernant l'utilisation de la cryptographie en France, Bibliographie, Index, Table des figures, Liste des tableaux, Table des matières) (95 Ko, pp 203-234)