Xavier Leroy Collège de France Science du logiciel Année 2021-2022 Sécurité du logiciel : quel rôle pour les langages de programmation ? Compiler un programme source en code machine peut être l'occasion de le rendre plus résistant à certaines attaques. Cependant, de nombreuses optimisations de compilation, pourtant sémantiquement correctes, peuvent affaiblir la sécurité du programme. Nous verrons comment caractériser ces différences de sécurité entre un fragment de programme source et son...

Xavier Leroy Collège de France Science du logiciel Année 2021-2022 Sécurité du logiciel : quel rôle pour les langages de programmation ? Compiler un programme source en code machine peut être l'occasion de le rendre plus résistant à certaines attaques. Cependant, de nombreuses optimisations de compilation, pourtant sémantiquement correctes, peuvent affaiblir la sécurité du programme. Nous verrons comment caractériser ces différences de sécurité entre un fragment de programme source et son...

Collège de France Informatique et sciences numériques (chaire annuelle 2021-2022) Wendy Mackay Année 2021-2022 L'avènement de l'intelligence artificielle (IA) a transformé notre façon d'interagir avec les ordinateurs. Même si l’IA peut parfois remplacer l’humain, elle est le plus souvent vouée à aider celui-ci, par exemple dans des tâches d’aide à la décision. Pourtant, une grande partie de la recherche actuelle se concentre sur la manière de créer des algorithmes plus puissants, et moins...

Collège de France Informatique et sciences numériques (chaire annuelle 2021-2022) Wendy Mackay Année 2021-2022 L'avènement de l'intelligence artificielle (IA) a transformé notre façon d'interagir avec les ordinateurs. Même si l’IA peut parfois remplacer l’humain, elle est le plus souvent vouée à aider celui-ci, par exemple dans des tâches d’aide à la décision. Pourtant, une grande partie de la recherche actuelle se concentre sur la manière de créer des algorithmes plus puissants, et moins...

Xavier Leroy Collège de France Science du logiciel Année 2021-2022 Sécurité du logiciel : quel rôle pour les langages de programmation ? Compiler un programme source en code machine peut être l'occasion de le rendre plus résistant à certaines attaques. Cependant, de nombreuses optimisations de compilation, pourtant sémantiquement correctes, peuvent affaiblir la sécurité du programme. Nous verrons comment caractériser ces différences de sécurité entre un fragment de programme source et son...

Xavier Leroy Collège de France Science du logiciel Année 2021-2022 Sécurité du logiciel : quel rôle pour les langages de programmation ? Compiler un programme source en code machine peut être l'occasion de le rendre plus résistant à certaines attaques. Cependant, de nombreuses optimisations de compilation, pourtant sémantiquement correctes, peuvent affaiblir la sécurité du programme. Nous verrons comment caractériser ces différences de sécurité entre un fragment de programme source et son...

Collège de France Informatique et sciences numériques (chaire annuelle 2021-2022) Wendy Mackay Année 2021-2022 Les médias sociaux sont aujourd’hui partout et notre capacité à collaborer à distance est devenue une seconde nature, particulièrement depuis la pandémie, avec des outils de partage de documents et de communication directe ou différée par le texte, la voix ou la vidéo. Cette leçon retrace l'histoire de la communication médiatisée, en incluant des exemples tirés de mes propres...

Collège de France Informatique et sciences numériques (chaire annuelle 2021-2022) Wendy Mackay Année 2021-2022 Les médias sociaux sont aujourd’hui partout et notre capacité à collaborer à distance est devenue une seconde nature, particulièrement depuis la pandémie, avec des outils de partage de documents et de communication directe ou différée par le texte, la voix ou la vidéo. Cette leçon retrace l'histoire de la communication médiatisée, en incluant des exemples tirés de mes propres...

Xavier Leroy Collège de France Science du logiciel Année 2021-2022 Sécurité du logiciel : quel rôle pour les langages de programmation ? Qu'il soit vérifié dynamiquement (pendant l'exécution) ou statiquement (par analyse préalable), le typage est un aspect essentiel des langages de programmation de haut niveau. Dans ce cours, nous étudierons les contributions du typage à la sécurité des logiciels, des garanties de base (sûreté des valeurs et de la mémoire) indispensables pour l'isolation...

Xavier Leroy Collège de France Science du logiciel Année 2021-2022 Sécurité du logiciel : quel rôle pour les langages de programmation ? Qu'il soit vérifié dynamiquement (pendant l'exécution) ou statiquement (par analyse préalable), le typage est un aspect essentiel des langages de programmation de haut niveau. Dans ce cours, nous étudierons les contributions du typage à la sécurité des logiciels, des garanties de base (sûreté des valeurs et de la mémoire) indispensables pour l'isolation...

Collège de France Informatique et sciences numériques (chaire annuelle 2021-2022) Wendy Mackay Année 2021-2022 En tant qu'êtres humains, nous utilisons la « physique de tous les jours » pour interagir avec le monde qui nous entoure. La réalité augmentée s'appuie sur cette compréhension pour « enrichir » dynamiquement les objets physiques d'informations et en mélangeant objets physiques et numériques. La réalité virtuelle, quant à elle, cherche à immerger l'utilisateur dans des mondes réels...

Collège de France Informatique et sciences numériques (chaire annuelle 2021-2022) Wendy Mackay Année 2021-2022 En tant qu'êtres humains, nous utilisons la « physique de tous les jours » pour interagir avec le monde qui nous entoure. La réalité augmentée s'appuie sur cette compréhension pour « enrichir » dynamiquement les objets physiques d'informations et en mélangeant objets physiques et numériques. La réalité virtuelle, quant à elle, cherche à immerger l'utilisateur dans des mondes réels...

Xavier Leroy Collège de France Science du logiciel Année 2021-2022 Sécurité du logiciel : quel rôle pour les langages de programmation ? L'isolation d'un logiciel possiblement malveillant ou compromis est nécessaire pour qu'il ne puisse pas compromettre d'autres logiciels s'exécutant dans le même environnement et encore moins les mécanismes de sécurité du système d'exploitation et du matériel. Nous passerons en revue plusieurs mécanismes d'isolation : mémoire virtuelle, software fault...

Xavier Leroy Collège de France Science du logiciel Année 2021-2022 Sécurité du logiciel : quel rôle pour les langages de programmation ? L'isolation d'un logiciel possiblement malveillant ou compromis est nécessaire pour qu'il ne puisse pas compromettre d'autres logiciels s'exécutant dans le même environnement et encore moins les mécanismes de sécurité du système d'exploitation et du matériel. Nous passerons en revue plusieurs mécanismes d'isolation : mémoire virtuelle, software fault...

Collège de France Informatique et sciences numériques (chaire annuelle 2021-2022) Wendy Mackay Année 2021-2022 Les humains utilisent diverses modalités pour communiquer, notamment la parole, les gestes, les expressions faciales et les mouvements du corps. Cette leçon retrace l'histoire des systèmes interactifs qui vont au-delà des entrées-sorties classiques que sont la souris, le clavier et l’écran, et des travaux qui combinent plusieurs modalités, comme la parole et le geste. Elle présente...

Collège de France Informatique et sciences numériques (chaire annuelle 2021-2022) Wendy Mackay Année 2021-2022 Les humains utilisent diverses modalités pour communiquer, notamment la parole, les gestes, les expressions faciales et les mouvements du corps. Cette leçon retrace l'histoire des systèmes interactifs qui vont au-delà des entrées-sorties classiques que sont la souris, le clavier et l’écran, et des travaux qui combinent plusieurs modalités, comme la parole et le geste. Elle présente...

Xavier Leroy Collège de France Science du logiciel Année 2021-2022 Sécurité du logiciel : quel rôle pour les langages de programmation ? L'isolation d'un logiciel possiblement malveillant ou compromis est nécessaire pour qu'il ne puisse pas compromettre d'autres logiciels s'exécutant dans le même environnement et encore moins les mécanismes de sécurité du système d'exploitation et du matériel. Nous passerons en revue plusieurs mécanismes d'isolation : mémoire virtuelle, software fault...

Xavier Leroy Collège de France Science du logiciel Année 2021-2022 Sécurité du logiciel : quel rôle pour les langages de programmation ? L'isolation d'un logiciel possiblement malveillant ou compromis est nécessaire pour qu'il ne puisse pas compromettre d'autres logiciels s'exécutant dans le même environnement et encore moins les mécanismes de sécurité du système d'exploitation et du matériel. Nous passerons en revue plusieurs mécanismes d'isolation : mémoire virtuelle, software fault...

Collège de France Informatique et sciences numériques (chaire annuelle 2021-2022) Wendy Mackay Année 2021-2022 Les sciences de la nature comme la physique ou la biologie s'appuient sur la méthode scientifique pour explorer et comprendre les phénomènes naturels. Cependant, l'informatique est ce que Herbert Simon appelle une science de l'artificiel, où les chercheurs créent les phénomènes qu'ils étudient. Cette leçon décrit le rôle de la triangulation entre différentes méthodes, et est...

Collège de France Informatique et sciences numériques (chaire annuelle 2021-2022) Wendy Mackay Année 2021-2022 Les sciences de la nature comme la physique ou la biologie s'appuient sur la méthode scientifique pour explorer et comprendre les phénomènes naturels. Cependant, l'informatique est ce que Herbert Simon appelle une science de l'artificiel, où les chercheurs créent les phénomènes qu'ils étudient. Cette leçon décrit le rôle de la triangulation entre différentes méthodes, et est...

Daniel Lincot Innovation technologique Liliane Bettencourt (chaire annuelle 2021-2022) Collège de France Année 2021-2022 Énergie solaire photovoltaïque et transition énergétique L'énergie solaire : analyse de la ressource et de ses transformations Les technologies couches minces (aSi, CdTe, CIGS, GaAs) Les technologies couches minces se distinguent par la capacité des matériaux à absorber la lumière solaire sur des épaisseurs très faibles, de l’ordre de quelques microns ou moins, au lieu de...

Daniel Lincot Innovation technologique Liliane Bettencourt (chaire annuelle 2021-2022) Collège de France Année 2021-2022 Énergie solaire photovoltaïque et transition énergétique L'énergie solaire : analyse de la ressource et de ses transformations Les technologies couches minces (aSi, CdTe, CIGS, GaAs) Les technologies couches minces se distinguent par la capacité des matériaux à absorber la lumière solaire sur des épaisseurs très faibles, de l’ordre de quelques microns ou moins, au lieu de...

Xavier Leroy Collège de France Science du logiciel Année 2021-2022 Sécurité du logiciel : quel rôle pour les langages de programmation ? Certaines informations sont plus confidentielles que d'autres, ou plus digne de confiance que d'autres. Après une introduction aux politiques de confidentialité de Bell-Lapadula et d'intégrité de Biba, nous étudierons comment contrôler les flux d'information à travers un programme, ou bien dynamiquement, ou bien statiquement à l'aide de systèmes de types ou...

Xavier Leroy Collège de France Science du logiciel Année 2021-2022 Sécurité du logiciel : quel rôle pour les langages de programmation ? Certaines informations sont plus confidentielles que d'autres, ou plus digne de confiance que d'autres. Après une introduction aux politiques de confidentialité de Bell-Lapadula et d'intégrité de Biba, nous étudierons comment contrôler les flux d'information à travers un programme, ou bien dynamiquement, ou bien statiquement à l'aide de systèmes de types ou...