Xavier Leroy
Chaire Chaire Sciences du logiciel
Collège de France
Année 2025-2026
06 - Le calcul sécurisé : calculer sur des données chiffrées ou privées : Calcul vérifiable et preuves zero-knowledge