Canaux cachés en cryptographie classique:analyse par les outils de l’information quantique.
Directeur de thèse:
R Alléaume (INFRES)
Sujet:
Plus que les éventuelles faiblesses dans les algorithmes cryptographiques,les canaux cachés (side-channels,covert channels) constituent des vulnérabilités avérées,pour tous les crypto-systèmes matériels connus à l’heure actuelle,ouvrant la possibilité à des attaques puissantes. Le principe inhérent aux attaques par des canaux cachés est que chaque crypto-système matériel est forcément couplé à son environnement,et que l’on peut donc extraire de l’information de tels couplages.
L’analyse des attaques par canaux cachés et des contre-mesures est un sujet de pointe en cryptographie dite classique (comme dans le domaine des cartes à puces et de la sécurité matérielle),qui présente d’importants enjeux industriels. Une limite fondamentale des modèles utilisés pour l’analyse des canaux cachés,vient du fait que l’on n’est pas capable de prouver de façon formelle une relation entre la physique sous-jacente au canal caché (par exemple,la consommation électrique) et la fuite d’information à travers ce canal [1]. Nous nous proposons d’utiliser les puissants outils de l’information quantique,en particulier ceux qui sont développés dans les preuves de sécurité en cryptographie quantique [2,3] (et qui permettent de relier la fuite d’information et l’état quantique d’un système),pour analyser les canaux cachés en cryptographie classique.
Références:
1. P. Kocher,J. Jaffe and B. Jun,“Differential Power Analysis”,Lecture Notes in Computer Science,Vol. 1666,Pages 388 to 397,Springer-Verlag,Berlin,Heidelberg,1999.
2. P.W. Shor and J. Preskill,“Simple proof of security of the BB84 quantum key distribution protocol”,Phys. Rev. Lett.,85:441,2000.
3. R. Renner,“Security of Quantum Key Distribution”,PhD thesis,Swiss Federal Institute of Technology (ETH) Zurich,2005. Available at http://arxiv.org/abs/quantph/0512258.
