Collège de France

Sciences du logiciel - Xavier Leroy

Technology FR ↓ 73 episodes

Écrire un petit programme informatique est facile. Concevoir et réaliser un logiciel complet qui soit fiable, pérenne et résistant aux attaques reste extraordinairement difficile. C'est le but des sciences du logiciel que de concevoir et développer les principes, les formalismes mathématiques, les techniques empiriques et les outils informatiques nécessaires pour concevoir, programmer et vérifier des logiciels fiables et sécurisés. L'enseignement de la chaire Sciences du logiciel vise à explorer cette problématique et à présenter la recherche contemporaine dans ce domaine. Le cours privilégie...

Author

Collège de France

Episodes

Séminaire - David Pointcheval : Le chiffrement fonctionnel : agréger des données sensibles 18.12.2025 1:01:49

Xavier Leroy Chaire Chaire Sciences du logiciel Collège de France Année 2025-2026 David Pointcheval Cosmian Séminaire - David Pointcheval : Le chiffrement fonctionnel : agréger des données sensibles

07 - Le calcul sécurisé : calculer sur des données chiffrées ou privées : Sécuriser le calcul : nouvelles directions et conclusions 18.12.2025 1:23:47

Xavier Leroy Chaire Chaire Sciences du logiciel Collège de France Année 2025-2026 07 - Le calcul sécurisé : calculer sur des données chiffrées ou privées : Sécuriser le calcul : nouvelles directions et conclusions

Séminaire - Michele Orrù : Des preuves zero-knowledge à l'anonymat en ligne 11.12.2025 55:00

Xavier Leroy Chaire Chaire Sciences du logiciel Collège de France Michele Orrù CNRS Séminaire - Michele Orrù : Des preuves zero-knowledge à l'anonymat en ligne

06 - Le calcul sécurisé : calculer sur des données chiffrées ou privées : Calcul vérifiable et preuves zero-knowledge 11.12.2025 1:25:43

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

Séminaire - Geoffroy Couteau : Calcul sécurisé et aléa corrélé, de la théorie à la pratique 04.12.2025 55:57

Xavier Leroy Chaire Chaire Sciences du logiciel Collège de France Année 2025-2026 Geoffroy Couteau CNRS Séminaire - Geoffroy Couteau : Calcul sécurisé et aléa corrélé, de la théorie à la pratique

05 - Le calcul sécurisé : calculer sur des données chiffrées ou privées : Calcul multipartite sécurisé : circuits brouillés et transfert inconscient 04.12.2025 1:16:07

Xavier Leroy Chaire Chaire Sciences du logiciel Collège de France Année 2025-2026 05 - Le calcul sécurisé : calculer sur des données chiffrées ou privées : Calcul multipartite sécurisé : circuits brouillés et transfert inconscient

Séminaire - Ilaria Chillotti : Chiffrement totalement homomorphe : panorama, applications et nouvelles directions 27.11.2025 1:01:22

Xavier Leroy Chaire Sciences du logiciel Collège de France Année 2025-2026 Séminaire - Ilaria Chillotti : Chiffrement totalement homomorphe : panorama, applications et nouvelles directions Ilaria Chillotti DESILO Inc

04 - Le calcul sécurisé : calculer sur des données chiffrées ou privées : Calcul multipartite sécurisé : partager des secrets 27.11.2025 1:25:21

Xavier Leroy Chaire Sciences du logiciel Collège de France Année 2025-2026 04 - Le calcul sécurisé : calculer sur des données chiffrées ou privées : Calcul multipartite sécurisé : partager des secrets Résumé Ce cours est le premier d'une série de deux cours consacrés au calcul multipartite sécurisé (en anglais : Multi-Party Computation, MPC), un mode de calcul sécurisé dans lequel plusieurs partic...

Séminaire - Damien Stehlé : Chiffrement totalement homomorphe CKKS 20.11.2025 1:20:15

Xavier Leroy Chaire Sciences du logiciel Année 2025-2026 Collège de France Séminaire - Damien Stehlé : Chiffrement totalement homomorphe CKKS Damien Stehlé CryptoLab Résumé Le chiffrement homomorphe CKKS (Cheon, Kim, Kim et Song, Asiacrypt 2017) permet de calculer sur des vecteurs de nombres complexes de grande dimension, sans les divulguer. Ses opérations élémentaires sont l'addition, la multipli...

03 - Le calcul sécurisé : calculer sur des données chiffrées ou privées : Chiffrement totalement homomorphe : calculer sur des données chiffrées (2) 20.11.2025 1:20:15

Xavier Leroy Chaire Sciences du logiciel Année 2025-2026 Collège de France 03 - Le calcul sécurisé : calculer sur des données chiffrées ou privées : Chiffrement totalement homomorphe : calculer sur des données chiffrées (2) Résumé Ce cours a poursuivi l'étude du chiffrement totalement homomorphe entamée au cours précédent. Après un rappel de l'approche introduite par Gentry en 2009, qui combine ch...

Séminaire - Pierrick Gaudry : Outils cryptographiques pour le vote électronique 13.11.2025 1:01:55

Xavier Leroy Chaire Sciences du logiciel Année 2025-2026 Collège de France Séminaire - Pierrick Gaudry : Outils cryptographiques pour le vote électronique Pierrick Gaudry CNRS Le vote par Internet est un exemple où la cryptographie avancée est requise, et déployée en pratique, afin de garantir de bonnes propriétés de sécurité. Dans cet exposé, nous présenterons ce contexte du vote électronique, ai...

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) 13.11.2025 1:13:57

Xavier Leroy Chaire Sciences du logiciel Année 2025-2026 Collège de France 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) Résumé Ce cours a commencé par des rappels sur les algorithmes de chiffrement et la manière de spécifier et de démontrer leur sécurité. Nous avons ensuite introduit la notion d...

01- Le calcul sécurisé : calculer sur des données chiffrées ou privées : Sécuriser le calcul : introduction et étude de cas 06.11.2025 1:19:38

Xavier Leroy Chaire Sciences du logiciel Année 2025-2026 Collège de France 01 Le calcul sécurisé : calculer sur des données chiffrées ou privées : Sécuriser le calcul : introduction et étude de cas Ce premier cours sur le calcul sécurisé a introduit deux approches pour calculer sur des données privées sans les révéler aux opérateurs du calcul : le chiffrement homomorphe, qui permet d'effectuer cer...

Séminaire - Daan Leijen : Design and Compilation of Efficient Effect Handlers in the Koka Language 14.03.2024 55:15

Xavier Leroy Collège de France Science du logiciel Année 2023-2024 Séminaire - Daan Leijen : Design and Compilation of Efficient Effect Handlers in the Koka Language Daan Leijen Microsoft Research

08 - Structures de contrôle : de « goto » aux effets algébriques : 08 - Structures de contrôle : de « goto » aux effets algébriques : Logiques de programmes pour le contrôle et les effets 14.03.2024 1:22:02

Xavier Leroy Collège de France Science du logiciel Année 2023-2024 08 - Structures de contrôle : de « goto » aux effets algébriques : 08 - Structures de contrôle : de « goto » aux effets algébriques : Logiques de programmes pour le contrôle et les effets

Séminaire - Matija Pretnar : Effect handlers and mathematically inspired language constructs 07.03.2024 1:03:47

Xavier Leroy Collège de France Science du logiciel Année 2023-2024 Séminaire - Matija Pretnar : Effect handlers and mathematically inspired language constructs Matija Pretnar Université de Ljubljana

07 - Structures de contrôle : de « goto » aux effets algébriques : Typage et analyse statique des effets 07.03.2024 1:19:07

Xavier Leroy Collège de France Science du logiciel Année 2023-2024 07 - Structures de contrôle : de « goto » aux effets algébriques : Typage et analyse statique des effets

Séminaire - Olivier Danvy : Les continuations : cinq minutes pour les apprendre, toute une vie pour les comprendre 29.02.2024 58:48

Xavier Leroy Collège de France Science du logiciel Année 2023-2024 Séminaire - Olivier Danvy : Les continuations : cinq minutes pour les apprendre, toute une vie pour les comprendre Olivier Danvy National University of Singapore

06 - Structures de contrôle : de « goto » aux effets algébriques : Théorie des effets : des monades aux effets algébriques 29.02.2024 1:16:12

Xavier Leroy Collège de France Science du logiciel Année 2023-2024 06 - Structures de contrôle : de « goto » aux effets algébriques : Théorie des effets : des monades aux effets algébriques

Séminaire - Andrew Kennedy : Compiling with Continuations 22.02.2024 44:39

Xavier Leroy Collège de France Science du logiciel Année 2023-2024 Séminaire - Andrew Kennedy : Compiling with Continuations Andrew Kennedy Meta

05 - Structures de contrôle : de « goto » aux effets algébriques : Pratique des effets : des exceptions aux gestionnaires d'effets 22.02.2024 1:19:03

Xavier Leroy Collège de France Science du logiciel Année 2023-2024 05 - Structures de contrôle : de « goto » aux effets algébriques : Pratique des effets : des exceptions aux gestionnaires d'effets

Séminaire - Delphine Demange : Représentations intermédiaires pour la compilation : s'affranchir du graphe de flot de contrôle 15.02.2024 1:01:39

Xavier Leroy Collège de France Science du logiciel Année 2023-2024 Séminaire - Delphine Demange : Représentations intermédiaires pour la compilation : s'affranchir du graphe de flot de contrôle Delphine Demange Université de Rennes

04 - Structures de contrôle : de « goto » aux effets algébriques : Programmer ses structures de contrôle : continuations et opérateurs de contrôle 15.02.2024 1:23:22

Xavier Leroy Collège de France Science du logiciel Année 2023-2024 04 - Structures de contrôle : de « goto » aux effets algébriques : Programmer ses structures de contrôle : continuations et opérateurs de contrôle

Séminaire - Caroline Collange : Comment concilier parallélisme et contrôle ? Approches des architectures de processeurs généralistes et graphiques 08.02.2024 51:51

Xavier Leroy Collège de France Science du logiciel Année 2023-2024 Séminaire - Caroline Collange : Comment concilier parallélisme et contrôle ? Approches des architectures de processeurs généralistes et graphiques Caroline Collange Inria

03 - Structures de contrôle : de « goto » aux effets algébriques : Chassez le contrôle... : la programmation déclarative 08.02.2024 1:24:14

Xavier Leroy Collège de France Science du logiciel Année 2023-2024 03 - Structures de contrôle : de « goto » aux effets algébriques : Chassez le contrôle... : la programmation déclarative