Sciences du logiciel - Xavier Leroy — épisodes — podplay

Sciences du logiciel - Xavier Leroy

Français
Informatique

60 épisodes

Séminaire - David Pointcheval : Le chiffrement fonctionnel : agréger des données sensibles
Sciences du logiciel - Xavier Leroy 18/12/2025 · 1 h 01
07 - Le calcul sécurisé : calculer sur des données chiffrées ou privées : Sécuriser le calcul : nouvelles directions et conclusions
Sciences du logiciel - Xavier Leroy 18/12/2025 · 1 h 23
Séminaire - Michele Orrù : Des preuves zero-knowledge à l'anonymat en ligne
Sciences du logiciel - Xavier Leroy 11/12/2025 · 55 min
06 - Le calcul sécurisé : calculer sur des données chiffrées ou privées : Calcul vérifiable et preuves zero-knowledge
Sciences du logiciel - Xavier Leroy 11/12/2025 · 1 h 25
Séminaire - Geoffroy Couteau : Calcul sécurisé et aléa corrélé, de la théorie à la pratique
Sciences du logiciel - Xavier Leroy 04/12/2025 · 55 min
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
Sciences du logiciel - Xavier Leroy 04/12/2025 · 1 h 16
Séminaire - Ilaria Chillotti : Chiffrement totalement homomorphe : panorama, applications et nouvelles directions
Sciences du logiciel - Xavier Leroy 27/11/2025 · 1 h 01
04 - Le calcul sécurisé : calculer sur des données chiffrées ou privées : Calcul multipartite sécurisé : partager des secrets
Sciences du logiciel - Xavier Leroy 27/11/2025 · 1 h 25
Séminaire - Damien Stehlé : Chiffrement totalement homomorphe CKKS
Sciences du logiciel - Xavier Leroy 20/11/2025 · 1 h 20
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)
Sciences du logiciel - Xavier Leroy 20/11/2025 · 1 h 20
Séminaire - Pierrick Gaudry : Outils cryptographiques pour le vote électronique
Sciences du logiciel - Xavier Leroy 13/11/2025 · 1 h 01
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)
Sciences du logiciel - Xavier Leroy 13/11/2025 · 1 h 13
01- Le calcul sécurisé : calculer sur des données chiffrées ou privées : Sécuriser le calcul : introduction et étude de cas
Sciences du logiciel - Xavier Leroy 06/11/2025 · 1 h 19
Séminaire - Daan Leijen : Design and Compilation of Efficient Effect Handlers in the Koka Language
Sciences du logiciel - Xavier Leroy 14/03/2024 · 55 min
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
Sciences du logiciel - Xavier Leroy 14/03/2024 · 1 h 22
Séminaire - Matija Pretnar : Effect handlers and mathematically inspired language constructs
Sciences du logiciel - Xavier Leroy 07/03/2024 · 1 h 03
07 - Structures de contrôle : de « goto » aux effets algébriques : Typage et analyse statique des effets
Sciences du logiciel - Xavier Leroy 07/03/2024 · 1 h 19
Séminaire - Olivier Danvy : Les continuations : cinq minutes pour les apprendre, toute une vie pour les comprendre
Sciences du logiciel - Xavier Leroy 29/02/2024 · 58 min
06 - Structures de contrôle : de « goto » aux effets algébriques : Théorie des effets : des monades aux effets algébriques
Sciences du logiciel - Xavier Leroy 29/02/2024 · 1 h 16
Séminaire - Andrew Kennedy : Compiling with Continuations
Sciences du logiciel - Xavier Leroy 22/02/2024 · 44 min
05 - Structures de contrôle : de « goto » aux effets algébriques : Pratique des effets : des exceptions aux gestionnaires d'effets
Sciences du logiciel - Xavier Leroy 22/02/2024 · 1 h 19
Séminaire - Delphine Demange : Représentations intermédiaires pour la compilation : s'affranchir du graphe de flot de contrôle
Sciences du logiciel - Xavier Leroy 15/02/2024 · 1 h 01
04 - Structures de contrôle : de « goto » aux effets algébriques : Programmer ses structures de contrôle : continuations et opérateurs de contrôle
Sciences du logiciel - Xavier Leroy 15/02/2024 · 1 h 23
Séminaire - Caroline Collange : Comment concilier parallélisme et contrôle ? Approches des architectures de processeurs généralistes et graphiques
Sciences du logiciel - Xavier Leroy 08/02/2024 · 51 min
03 - Structures de contrôle : de « goto » aux effets algébriques : Chassez le contrôle... : la programmation déclarative
Sciences du logiciel - Xavier Leroy 08/02/2024 · 1 h 24
02 - Structures de contrôle : de « goto » aux effets algébriques : Structures de contrôle avancées : des subroutines aux coroutines et au parallélisme
Sciences du logiciel - Xavier Leroy 01/02/2024 · 1 h 15
01 - Structures de contrôle : de « goto » aux effets algébriques : Naissance des structures de contrôle : du « goto » à la programmation structurée
Sciences du logiciel - Xavier Leroy 25/01/2024 · 1 h 19
Séminaire - Pierre-Etienne Meunier : Une algèbre de modifications, ou : le contrôle de versions pour tous
Sciences du logiciel - Xavier Leroy 20/04/2023 · 1 h
07 - Structures de données persistantes : À la recherche du vecteur perdu : limites théoriques et conclusions
Sciences du logiciel - Xavier Leroy 20/04/2023 · 1 h 25
Séminaire - Arthur Charguéraud : Comment allier persistance et performance
Sciences du logiciel - Xavier Leroy 13/04/2023 · 49 min
06 - Structures de données persistantes : De la dérivation formelle à la navigation dans une structure : contextes, zippers, index, etc.
Sciences du logiciel - Xavier Leroy 13/04/2023 · 1 h 17
Séminaire - KC Sivaramakrishnan : Mergeable Replicated Data Types
Sciences du logiciel - Xavier Leroy 07/04/2023 · 53 min
05 - Structures de données persistantes : Systèmes de numération et types non réguliers
Sciences du logiciel - Xavier Leroy 07/04/2023 · 1 h 16
Séminaire - Jean-Christophe Filliatre : Structures de données semi-persistantes
Sciences du logiciel - Xavier Leroy 30/03/2023 · 50 min
04 - Structures de données persistantes : Comment rendre persistante une structure impérative ?
Sciences du logiciel - Xavier Leroy 30/03/2023 · 1 h 17
Séminaire - Tobias Nipkow : Verification of functional data structures: Correctness and complexity
Sciences du logiciel - Xavier Leroy 23/03/2023 · 50 min
03 - Structures de données persistantes : Concilier amortissement et persistance : de l'importance de la paresse
Sciences du logiciel - Xavier Leroy 23/03/2023 · 1 h 17
02 - Structures de données persistantes : Arbres équilibrés + copie de branches = persistance
Sciences du logiciel - Xavier Leroy 16/03/2023 · 1 h 24
01 - Structures de données persistantes : Introduction aux structures persistantes et à la programmation purement fonctionnelle
Sciences du logiciel - Xavier Leroy 09/03/2023 · 1 h 17
07 - Sécurité du logiciel : quel rôle pour les langages de programmation ?
Sciences du logiciel - Xavier Leroy 21/04/2022 · 1 h 04
06 - Sécurité du logiciel : quel rôle pour les langages de programmation ?
Sciences du logiciel - Xavier Leroy 14/04/2022 · 1 h 18
05 - Sécurité du logiciel : quel rôle pour les langages de programmation ?
Sciences du logiciel - Xavier Leroy 07/04/2022 · 1 h 24
04 - Sécurité du logiciel : quel rôle pour les langages de programmation ?
Sciences du logiciel - Xavier Leroy 31/03/2022 · 1 h 09
03 - Sécurité du logiciel : quel rôle pour les langages de programmation ?
Sciences du logiciel - Xavier Leroy 24/03/2022 · 1 h 20
02 - Sécurité du logiciel : quel rôle pour les langages de programmation ?
Sciences du logiciel - Xavier Leroy 17/03/2022 · 1 h 06
01 - Sécurité du logiciel : quel rôle pour les langages de programmation ?
Sciences du logiciel - Xavier Leroy 10/03/2022 · 1 h 20
07 - Logiques de programmes : quand la machine raisonne sur ses logiciels
Sciences du logiciel - Xavier Leroy 15/04/2021 · 1 h 18
06 - Logiques de programmes : quand la machine raisonne sur ses logiciels
Sciences du logiciel - Xavier Leroy 08/04/2021 · 1 h 29
05 - Logiques de programmes : quand la machine raisonne sur ses logiciels
Sciences du logiciel - Xavier Leroy 01/04/2021 · 1 h 22
04 - Logiques de programmes : quand la machine raisonne sur ses logiciels
Sciences du logiciel - Xavier Leroy 25/03/2021 · 1 h 21
03 - Logiques de programmes : quand la machine raisonne sur ses logiciels
Sciences du logiciel - Xavier Leroy 18/03/2021 · 1 h 25
02 - Logiques de programmes : quand la machine raisonne sur ses logiciels
Sciences du logiciel - Xavier Leroy 11/03/2021 · 1 h 22
01 - Logiques de programmes : quand la machine raisonne sur ses logiciels
Sciences du logiciel - Xavier Leroy 04/03/2021 · 1 h 14
08 - Sémantiques mécanisées : quand la machine raisonne sur ses langages
Sciences du logiciel - Xavier Leroy 13/02/2020 · 1 h 11
07 - Sémantiques mécanisées : quand la machine raisonne sur ses langages
Sciences du logiciel - Xavier Leroy 06/02/2020 · 1 h 25
06 - Sémantiques mécanisées : quand la machine raisonne sur ses langages
Sciences du logiciel - Xavier Leroy 30/01/2020 · 1 h 16
05 - Sémantiques mécanisées : quand la machine raisonne sur ses langages
Sciences du logiciel - Xavier Leroy 16/01/2020 · 1 h 20
04 - Sémantiques mécanisées : quand la machine raisonne sur ses langages
Sciences du logiciel - Xavier Leroy 09/01/2020 · 1 h 57
03 - Sémantiques mécanisées : quand la machine raisonne sur ses langages
Sciences du logiciel - Xavier Leroy 19/12/2019 · 1 h 22
02 - Sémantiques mécanisées : quand la machine raisonne sur ses langages
Sciences du logiciel - Xavier Leroy 12/12/2019 · 1 h 20
Plus d'épisodes sur le site
Sciences du logiciel - Xavier Leroy