Modèles de sécurité cryptographiques: méthodologie de preuve de jeu

Cette séance de cours couvre les modèles de sécurité cryptographiques, en se concentrant sur la méthodologie Game Proof. L'instructeur explique comment les propriétés de sécurité sont définies par un jeu, avec différentes étapes et règles, et le concept de stratégie adverse. La séance de cours présente la méthodologie de la preuve, qui consiste à construire une séquence de jeux et de compilateurs d'adversaires pour assurer la sécurité. Les outils de transition tels que l'indistinguabilité et le lemme de différence sont discutés pour faire le pont entre les étapes des preuves de sécurité. La séance de cours aborde également des concepts tels que les jeux IND-CPA, RSA Security, Rabin Cryptosystem et Diffie-Hellman Security. Divers protocoles cryptographiques tels que le cryptage RSA, les problèmes RSA et le protocole Diffie-Hellman Key Agreement sont explorés, ainsi que leurs implications en matière de sécurité.