Cryptanalysis: Decorrelation & Sécurité Proving

Cette séance de cours couvre les sujets de la cryptanalyse, en se concentrant spécifiquement sur les techniques de décorrélation et la preuve de la sécurité dans le contexte de la cryptographie conventionnelle. L'instructeur explique la distinction des fonctions aléatoires, des exemples de problèmes de distinction, la décorrélation, les premier et deuxième ordres de décorrélation, les matrices, les normes matricielles et le modèle d'oracle aléatoire. La séance de cours se penche sur le concept de prouver la sécurité, y compris l'utilisation de matrices réelles, les normes matricielles, et la relation entre les normes vectorielles et les normes matricielles. Divers théorèmes et preuves liés à la décorrélation, aux distingers et au théorème de Luby-Rackoff sont discutés. La séance de cours se termine par des exemples pratiques, tels que la signature Full-Domain Hash (FDH) et le paradigme de signature Fiat-Shamir.