Xavier Leroy Enseignements Sciences du logiciel Enseignements Menu de la chaire La chaire Biographie et publications Enseignements Conférenciers invités Résumés annuels Audios & vidéos Actualités Podcasts / RSS Apple Podcasts Spotify Flux RSS Podcast Flux RSS Actualités Flux RSS Audiovisuel Partager Facebook LinkedIn Bluesky Threads Copier le lien
La chaire Biographie et publications Enseignements Conférenciers invités Résumés annuels Audios & vidéos Actualités À venir Précédent Cours 06 nov 2025 09:30 à 11:00 Xavier Leroy Sécuriser le calcul : introduction et étude de cas Cours 13 nov 2025 09:30 à 11:00 Xavier Leroy Chiffrement totalement homomorphe : calculer sur des données chiffrées (1) Séminaire 13 nov 2025 11:15 à 12:15 Pierrick Gaudry Outils cryptographiques pour le vote électronique Cours 20 nov 2025 09:30 à 11:00 Xavier Leroy Chiffrement totalement homomorphe : calculer sur des données chiffrées (2) Séminaire 20 nov 2025 11:15 à 12:15 Damien Stehlé Chiffrement totalement homomorphe CKKS Cours 27 nov 2025 09:30 à 11:00 Xavier Leroy Calcul multipartite sécurisé : partager des secrets Séminaire 27 nov 2025 11:15 à 12:15 Ilaria Chillotti Chiffrement totalement homomorphe : panorama, applications et nouvelles directions Cours 04 déc 2025 09:30 à 11:00 Xavier Leroy Calcul multipartite sécurisé : circuits brouillés et transfert inconscient Séminaire 04 déc 2025 11:15 à 12:15 Geoffroy Couteau Calcul sécurisé et aléa corrélé, de la théorie à la pratique Cours 11 déc 2025 09:30 à 11:00 Xavier Leroy Calcul vérifiable et preuves zero-knowledge Séminaire 11 déc 2025 11:15 à 12:15 Michele Orrù Des preuves zero-knowledge à l'anonymat en ligne Cours 18 déc 2025 09:30 à 11:00 Xavier Leroy Sécuriser le calcul : nouvelles directions et conclusions Séminaire 18 déc 2025 11:15 à 12:15 David Pointcheval Le chiffrement fonctionnel : agréger des données sensibles Suivant 8 cycles Filtres Type d'enseignement Type d'enseignement (-) Cours (8) Séminaire (7) Colloque (2) Leçon inaugurale (1) Année académique Année académique 2025 - 2026 (1) 2024 - 2025 (1) 2023 - 2024 (1) 2022 - 2023 (1) 2021 - 2022 (1) 2020 - 2021 (1) 2019 - 2020 (1) 2018 - 2019 (1) Filtres actifs Cours 2025 - 2026 Cours Le calcul sécurisé : calculer sur des données chiffrées ou privées Xavier Leroy 06 nov 2025 → 18 déc 2025 06 nov 2025 → 18 déc 2025 2024 - 2025 Cours L'enseignement n'a pas lieu cette année Xavier Leroy 01 Sep 2024 01 Sep 2024 2023 - 2024 Cours Structures de contrôle : de « goto » aux effets algébriques Xavier Leroy 25 jan 2024 → 14 Mar 2024 25 jan 2024 → 14 Mar 2024 2022 - 2023 Cours Structures de données persistantes Xavier Leroy 09 Mar 2023 → 20 avr 2023 09 Mar 2023 → 20 avr 2023 2021 - 2022 Cours Sécurité du logiciel : quel rôle pour les langages de programmation ? Xavier Leroy 10 Mar 2022 → 21 avr 2022 10 Mar 2022 → 21 avr 2022 2020 - 2021 Cours Logiques de programmes : quand la machine raisonne sur ses logiciels Xavier Leroy 04 Mar 2021 → 15 avr 2021 04 Mar 2021 → 15 avr 2021 2019 - 2020 Cours Sémantiques mécanisées : quand la machine raisonne sur ses langages Xavier Leroy 28 nov 2019 → 13 fév 2020 28 nov 2019 → 13 fév 2020 2018 - 2019 Cours Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui Xavier Leroy 21 nov 2018 → 30 jan 2019 21 nov 2018 → 30 jan 2019
Cours 13 nov 2025 09:30 à 11:00 Xavier Leroy Chiffrement totalement homomorphe : calculer sur des données chiffrées (1)
Séminaire 13 nov 2025 11:15 à 12:15 Pierrick Gaudry Outils cryptographiques pour le vote électronique
Cours 20 nov 2025 09:30 à 11:00 Xavier Leroy Chiffrement totalement homomorphe : calculer sur des données chiffrées (2)
Séminaire 27 nov 2025 11:15 à 12:15 Ilaria Chillotti Chiffrement totalement homomorphe : panorama, applications et nouvelles directions
Cours 04 déc 2025 09:30 à 11:00 Xavier Leroy Calcul multipartite sécurisé : circuits brouillés et transfert inconscient
Séminaire 04 déc 2025 11:15 à 12:15 Geoffroy Couteau Calcul sécurisé et aléa corrélé, de la théorie à la pratique
Cours 18 déc 2025 09:30 à 11:00 Xavier Leroy Sécuriser le calcul : nouvelles directions et conclusions
Séminaire 18 déc 2025 11:15 à 12:15 David Pointcheval Le chiffrement fonctionnel : agréger des données sensibles
Cours Le calcul sécurisé : calculer sur des données chiffrées ou privées Xavier Leroy 06 nov 2025 → 18 déc 2025 06 nov 2025 → 18 déc 2025
Cours Structures de contrôle : de « goto » aux effets algébriques Xavier Leroy 25 jan 2024 → 14 Mar 2024 25 jan 2024 → 14 Mar 2024
Cours Structures de données persistantes Xavier Leroy 09 Mar 2023 → 20 avr 2023 09 Mar 2023 → 20 avr 2023
Cours Sécurité du logiciel : quel rôle pour les langages de programmation ? Xavier Leroy 10 Mar 2022 → 21 avr 2022 10 Mar 2022 → 21 avr 2022
Cours Logiques de programmes : quand la machine raisonne sur ses logiciels Xavier Leroy 04 Mar 2021 → 15 avr 2021 04 Mar 2021 → 15 avr 2021
Cours Sémantiques mécanisées : quand la machine raisonne sur ses langages Xavier Leroy 28 nov 2019 → 13 fév 2020 28 nov 2019 → 13 fév 2020
Cours Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui Xavier Leroy 21 nov 2018 → 30 jan 2019 21 nov 2018 → 30 jan 2019
