Sciences du logiciel - Xavier Leroy 02 - Le calcul sécurisé : calculer sur des données chiffrées ou privées : Chiffrement totalement homomorphe : calculer sur des données chiffrées (1)
Nov 13, 2025
Xavier Leroy explore le calcul sécurisé et le chiffrement homomorphe. Il présente les algorithmes de chiffrement, en commençant par les chiffrements semi-homomorphes comme RSA et ElGamal. L'objectif est d'atteindre un chiffrement totalement homomorphe qui permet des opérations sur des données chiffrées. Leroy explique aussi l'importance du bruit dans les schémas de chiffrement et les défis pratiques comme la taille des clés. Enfin, il aborde la technique de bootstrap pour maintenir la faisabilité du déchiffrement.
AI Snips
Chapters
Transcript
Episode notes
Correction Et Aléa Explicite
- Un chiffrement correct doit garantir que déchiffrer(E(PK, M)) = M malgré l'aléa.
- Xavier Leroy rend l'aléa explicite pour faciliter les preuves formelles et la vérification.
Sécurité Calculatoire Et Négligeabilité
- La sécurité calculatoire limite l'attaquant à un temps polynomial en la taille des clés.
- On mesure l'échec par une fonction négligeable ε(n) qui décroit très vite avec n.
Attaques CPA Et Indistinguabilité
- CPA permet à l'attaquant de chiffrer librement des messages choisis avec la clé publique.
- Un schéma CPA sûr empêche l'attaquant de distinguer lequel des deux messages a été chiffré.