805 episodes

Podcast du Collège de France

Collège de France (Sciences et technologies‪)‬ Collège de France

    • Education
    • 5.0 • 2 Ratings

Podcast du Collège de France

    • video
    07 - Sécurité du logiciel : quel rôle pour les langages de programmation ? - VIDEO

    07 - Sécurité du logiciel : quel rôle pour les langages de programmation ? - VIDEO

    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 code compilé à l'aide d'outils sémantiques classiques : l'équivalence observationnelle et le problème de la full abstraction. Nous présenterons quelques approches qui ont été proposées pour compiler tout en préservant les équivalences observationnelles.

    • 1 hr 4 min
    07 - Sécurité du logiciel : quel rôle pour les langages de programmation ?

    07 - Sécurité du logiciel : quel rôle pour les langages de programmation ?

    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 code compilé à l'aide d'outils sémantiques classiques : l'équivalence observationnelle et le problème de la full abstraction. Nous présenterons quelques approches qui ont été proposées pour compiler tout en préservant les équivalences observationnelles.

    • 1 hr 4 min
    • video
    08 - Interagir avec l'ordinateur - VIDEO

    08 - Interagir avec l'ordinateur - VIDEO

    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 sur la manière dont ces algorithmes affectent les personnes qui les utilisent. Cette leçon retrace l'histoire des relations entre l'IA et de l'IHM, y compris mes propres recherches sur les partenariats homme-machine, où les utilisateurs restent maîtres de l'interaction afin de passer du paradigme de « l’être humain dans la boucle » à celui de « l’ordinateur dans la boucle ».

    • 1 hr 8 min
    08 - Interagir avec l'ordinateur

    08 - Interagir avec l'ordinateur

    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 sur la manière dont ces algorithmes affectent les personnes qui les utilisent. Cette leçon retrace l'histoire des relations entre l'IA et de l'IHM, y compris mes propres recherches sur les partenariats homme-machine, où les utilisateurs restent maîtres de l'interaction afin de passer du paradigme de « l’être humain dans la boucle » à celui de « l’ordinateur dans la boucle ».

    • 1 hr 8 min
    • video
    06 - Sécurité du logiciel : quel rôle pour les langages de programmation ? - VIDEO

    06 - Sécurité du logiciel : quel rôle pour les langages de programmation ? - VIDEO

    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 code compilé à l'aide d'outils sémantiques classiques : l'équivalence observationnelle et le problème de la full abstraction. Nous présenterons quelques approches qui ont été proposées pour compiler tout en préservant les équivalences observationnelles.

    • 1 hr 18 min
    06 - Sécurité du logiciel : quel rôle pour les langages de programmation ?

    06 - Sécurité du logiciel : quel rôle pour les langages de programmation ?

    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 code compilé à l'aide d'outils sémantiques classiques : l'équivalence observationnelle et le problème de la full abstraction. Nous présenterons quelques approches qui ont été proposées pour compiler tout en préservant les équivalences observationnelles.

    • 1 hr 18 min

Customer Reviews

5.0 out of 5
2 Ratings

2 Ratings

Top Podcasts In Education

Jordan Harbinger
Dr. Jordan B. Peterson
Rich Roll
Natasha Graziano
TED
Duolingo

You Might Also Like

France Culture
France Culture
France Culture
France Culture
France Inter
France Culture

More by Collège de France

Collège de France
Collège de France
Collège de France
Collège de France
Collège de France
Collège de France