Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Séance de cours

Sécurité du logiciel : Fuzzing

Dans cours

COM-301: Computer security and privacy

This is an introductory course to computer security and privacy. Its goal is to provide students with means to reason about security and privacy problems, and provide them with tools to confront them. ...

Description

Cette séance de cours couvre les techniques automatisées de test de sécurité, en se concentrant sur le fuzzing en tant que méthode pour améliorer la couverture du programme en générant de nouvelles entrées basées sur les commentaires des tours précédents. Il explique différents types de fuzzing, y compris le fuzzing basé sur la mutation, et comment il peut être informé par les extrants du programme.

Enseignant·e·s (2)

Carmela González Troncoso

Edouard Bugnion

Edouard Bugnion joined EPFL in 2012, where his focus is on datacenter systems. His areas of interest include operating systems, datacenter infrastructure (systems and networking), and computer architecture. Before joining EPFL, Edouard spent 18 years in the US, where he studied at Stanford and co-founded two startups: VMware and Nuova Systems (acquired by Cisco). At VMware from 1998 until 2005, he played many roles including CTO. At Nuova/Cisco from 2005 until 2011, he helped build the core engineering team and became the VP/CTO of Ciscos Server, Access, and Virtualization Technology Group, a group that brought to market Ciscos Unified Computing System (UCS) platform for virtualized datacenters. Prof. Bugnion is a Fellow of the ACM. Together with his colleagues, he received the ACM Software System Award for VMware 1.0 in 2009. His paper Disco: Running Commodity Operating Systems on Scalable Multiprocessors" received a Best Paper Award at SOSP '97 and was entered into the ACM SIGOPS Hall of Fame Award in 2008. At EPFL, he received the OSDI 2014 Best Paper Award for his work on the IX dataplane operating system

Source officielle

Concepts associés (14)

Fuzzing

Le fuzzing (ou test à données aléatoires) est une technique pour tester des logiciels. L'idée est d'injecter des données aléatoires dans les entrées d'un programme. Si le programme échoue (par exemple en plantant ou en générant une erreur), alors il y a des défauts à corriger. Exemples de points d'entrée d'un programme : Fichiers Périphériques (clavier, souris, etc.) Variables d'environnement Réseau Limitation des ressources (mémoire, disque dur, temps CPU, etc.) etc.

Couverture de code

En génie logiciel, la couverture de code est une mesure utilisée pour décrire le taux de code source exécuté d'un programme quand une suite de test est lancée. Un programme avec une haute couverture de code, mesurée en pourcentage, a davantage de code exécuté durant les tests ce qui laisse à penser qu'il a moins de chance de contenir de bugs logiciels non détectés, comparativement à un programme avec une faible couverture de code.

Mutation génétique

thumb|Un exemple de mutation homéotique : une drosophile Antennapedia Une est une modification rare, accidentelle ou provoquée, de l'information génétique (séquence d’ADN ou d’ARN) dans le génome. Selon la partie du génome touchée, les conséquences d'une mutation peuvent varier. Une mutation est dite héréditaire si la séquence génétique mutée est transmise à la génération suivante (voir mutations germinales). Elle est l’un des éléments de la biodiversité et l’un des nombreux facteurs pouvant éventuellement participer dans l'évolution de l'espèce.

Mutation ponctuelle

500px|aucun|droite Une mutation ponctuelle est un changement de la structure du gène, affectant un à plusieurs nucléotides (entre un et dix). Il existe quatre types de mutations ponctuelles : mutation par substitution : remplacement d’un (ou plusieurs) nucléotides par un autre (ou plusieurs autres) ; mutation par insertion : ajout d’un ou plusieurs nucléotides ; mutation par délétion : perte d'un ou plusieurs nucléotides.

Test (informatique)

vignette|Une programmeuse écrivant du code Java avec JUnit. En informatique, un test désigne une procédure de vérification partielle d'un système. Son objectif principal est d'identifier un nombre maximal de comportements problématiques du logiciel. Il permet ainsi, dès lors que les problèmes identifiés seront corrigés, d'en augmenter la qualité. D'une manière plus générale, le test désigne toutes les activités qui consistent à rechercher des informations quant à la qualité du système afin de permettre la prise de décisions.

Afficher plus

Séances de cours associées (32)

Altérations génomiques dans le cancer

Explore les changements génétiques et épigénétiques dans le cancer, y compris les mutations, les altérations chromosomiques et les méthodes de mesure à haut débit.

Mutations et cancer: le rôle de P53 et HPV

Couvre les mutations, le rôle de la P53 dans le cancer et l'impact du VPH sur la tumorigénèse.

Médecine personnalisée : Variabilité génétique et réponse aux médicaments

Explore la médecine personnalisée, la variabilité génétique et la réponse aux médicaments, en mettant l'accent sur l'adaptation des traitements en fonction des profils génétiques et métaboliques individuels.

Molécules de la vie: comprendre la traduction et la synthèse des protéines

Fournit un aperçu de la traduction et de la synthèse des protéines, couvrant le code génétique, l'ARNt et les étapes impliquées dans la formation des protéines.

L'hémoglobine et les anticorps: structure, fonction et régulation

Explore l'hémoglobine et les anticorps, discutant de leur structure, de leur fonction et de leur régulation, y compris l'absorption d'oxygène, les mutations et la liaison à l'antigène.

Afficher plus

Concepts associés (14)