Séance de cours

Vérification de la sécurité à travers le matériel et les logiciels

Graph Chat

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.

Description

Cette séance de cours couvre la vérification de la sécurité à travers le matériel et les logiciels, y compris les algorithmes vérifiés comme SSL, TLS et SHA utilisés dans les principaux systèmes, ainsi que les techniques pour éliminer automatiquement les fuites spéculatives et vérifier les programmes distribués. Il traite également de l'application de l'iode pour vérifier le temps constant pour le matériel, attraper des attaques de chronométrage via coloriage, et l'utilisation de Blade pour corriger les bogues spéculatifs dans le logiciel. L'instructeur présente des points de repère, des hypothèses et des défis dans la vérification du temps constant pour le matériel, soulignant l'importance de faire des hypothèses sur le matériel explicite pour éviter les bogues dans les logiciels vérifiés.

Source officielle

Concepts associés (32)

Exécution spéculative

En informatique, l'exécution spéculative correspond au lancement anticipé d'une instruction, c'est-à-dire sans être certain que celle-ci ait réellement besoin d'être exécutée. Généralement, on peut distinguer trois types d'instructions et de déclarations dans un programme : celles qui doivent être exécutées de manière obligatoire. celles qui n'ont pas besoin d'être exécutées car elles ne sont pas pertinentes. celles qui ne sont de manière certaine dans aucun des deux groupes précédents.

Exécution dans le désordre

L'exécution dans le désordre ( en anglais) consiste à réorganiser l'ordre dans lequel les instructions vont s'exécuter dans le processeur. Ces instructions ne sont alors pas forcément exécutées dans l'ordre dans lequel elles apparaissent dans le programme. Cela permet de mieux exploiter les ressources d'un processeur et ainsi de gagner du temps de calcul par rapport à l'exécution dans l'ordre () qui consiste à exécuter les instructions dans l'ordre prévu par le compilateur.

Logiciel libre

thumb|200px|Logo du projet GNU, initiateur du mouvement du logiciel libre.|alt=Gnou du projet GNU Un logiciel libre est un logiciel dont l'utilisation, l'étude, la modification et la duplication par autrui en vue de sa diffusion sont permises, techniquement et juridiquement, ceci afin de garantir certaines libertés induites, dont le contrôle du programme par l'utilisateur et la possibilité de partage entre individus. Ces droits peuvent être simplement disponibles ou bien établis par une licence, dite « libre », basée sur le droit d'auteur.

Logiciel propriétaire

Un logiciel propriétaire, logiciel non libre ou parfois logiciel privatif voire logiciel privateur, est un logiciel qui ne permet pas légalement ou techniquement, ou par quelque autre moyen que ce soit, d'exercer simultanément les quatre libertés logicielles que sont l'exécution du logiciel pour tout type d'utilisation, l'étude de son code source (et donc l'accès à ce code source), la distribution de copies, ainsi que la modification du code source.

Logiciel

thumb|Démarche de construction d'un logiciel. En informatique, un logiciel est un ensemble de séquences d’instructions interprétables par une machine et d’un jeu de données nécessaires à ces opérations. Le logiciel détermine donc les tâches qui peuvent être effectuées par la machine, ordonne son fonctionnement et lui procure ainsi son utilité fonctionnelle. Les séquences d’instructions appelées programmes ainsi que les données du logiciel sont ordinairement structurées en fichiers.

Afficher plus

Séances de cours associées (64)

Protection des processus et exécution efficace

Explore l'exécution des processus, la protection et les mécanismes d'exploitation efficaces pour des environnements multi-programmes sécurisés et fiables.

Principes I : Économie des mécanismes et défauts de sécurité

Discute des principes de « l'économie du mécanisme » et de la « sécurité par défaut » en matière de sécurité informatique.

Informatique : de 1 et 0 aux bases de données

Introduit des bases de calcul, des portes logiques aux bases de données, mettant l'accent sur l'intégrité des données.

Introduction au logiciel REAPER

Présente le logiciel REAPER V6.23, couvrant ses fonctionnalités et sa politique de licence.

Conception et Fondamentaux des Systèmes Numériques

Explore la construction et les concepts clés des systèmes numériques, y compris la représentation binaire, les différences matériel-logiciel et les options de mise en œuvre.

Afficher plus

Concepts associés (32)

Exécution spéculative

Exécution dans le désordre

Logiciel libre

Logiciel propriétaire

Logiciel

Afficher plus