EPFL Logo
fr|en
Se Connecter
Séance de cours

Compilation officiellement sécurisée : assurer la sécurité des composantes

Description

Cette séance de cours de l'instructeur s'inscrit dans le concept de compilation formellement sécurisée, en mettant l'accent sur les défis d'assurer la sécurité face à un compromis dynamique. La présentation porte sur la recherche sur les fondations de sécurité, les mécanismes d'application de la sécurité et l'importance des preuves mathématiques pour garantir les propriétés de sécurité. La séance de cours explore l'initiative Project Everest, qui vise à améliorer la sécurité HTTPS grâce à des protocoles de communication vérifiés. Il traite également d'EverCrypt, un fournisseur de cryptogramme vérifié, et de l'importance de la compartimentation pour atténuer les risques de sécurité. L'instructeur insiste sur la nécessité d'officialiser les garanties de sécurité et de mettre en place des chaînes de compilation sécurisées pour appliquer efficacement les politiques de sécurité.

Connectez-vous pour regarder la vidéo
Source officielle
À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.
Séances de cours associées (28)
Accès conditionnel II
Couvre l'accès conditionnel, le cryptage, le décryptage, l'authentification et les normes de cryptage avancées, en explorant le cryptage basé sur l'identité, la biométrie et le cryptage basé sur les attributs.
Réactions de Redox : demi-réactions, potentiels et applications
Explore les réactions redox, les potentiels d'électrodes et leurs utilisations pratiques en électrochimie.
Preuves et logiques : Introduction
Introduit la logique, les preuves, les ensembles, les fonctions et les algorithmes en mathématiques et en informatique.
Structures déformables II
Explore les structures hyperstatiques, les structures précontraintes et la linéarité géométrique.
Preuves : Logique, Mathématiques et Algorithmes
Explore les concepts, les techniques et les applications de la preuve dans la logique, les mathématiques et les algorithmes.
Afficher plus

Copyright © 2025 EPFL, tous droits réservés

Graph Chatbot

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.