UGA

M1 MEEF parcours NSI

Sécurité de l'information - 2023

Documents pédagogiques

Cours

• Cours 1 et 2 : Introduction - Pourquoi la cryptographie ne suffit pas - Contraintes absolues
• Cours 3 et 4 : Formalization de la notion de privacité - Identification et Anonymat dans le monde numérique.
• Cours 4 bis : Crypto 101 - Informations fondamentales sur les algos de Crypto - logiciels grand public
• Cours 5 : Accords Byzantins - Protocole Bitcoin
• Cours 6 : Approche formelle - Modèle Dolev-Yao

TD

• Fiche de TD 1 : Authentification simple - OTP - Tout ou rien

TP

• TP 1 : Stéganographie - dissimuler en plein jour.
• TP 2 : découverte de la boite à outils cryptographique openssl.
• TP 3 : gestion de certificats avec openssl.
• TP 4 : cryptanalyses de chiffres polyalaphabétiques.

Quelques liens et informations en rapport avec le cours

• Schneier on security : Blog du cryptographe Bruce Schneier sur l'actualité de la sécurité informatique.
• Episode 11 - Gildas Avoine - La securite informatique en 2020 : podcast avec Gildas Avoine directeur du GDR Sécurité
• Episode 23 - Mathieu Delaplace - Cybersécurité : Mathieu Delaplace est délégué à la région Auvergne-Rhône-Alpes pour l'ANSSI.
• Silvio Micali - Lex Fridman #168 : Podcast avec Svilio Micali, Turing award pour ses travaux en cryptographie (invention des preuves 0 knowledge), sur le sujet d'Algorand, une cryptomonnaie reposant sur un consensus décentralisé basé sur l'aléatoire (au lieu des preuves de travail dans Bitcoin).
• Chris Tarbell : FBI Agent who took down Silk Road : Podcast avec Chris Tarbell, un agent du FBI qui a travaillé sur de nombreux cas de cybersécurité dont le célèbre "Silk Road". Episode dans lequel sont discutés de nombreux points abordés en cours.

Evaluations

Le but de l'évaluation est de discuter sur un aspect de la sécurité informatique. Je vous donne une liste d'articles dans laquelle vous pouvez choisir ci-dessous. Une fois l'article choisi le travail attendu est le suivant :

1. Réaliser un rapport sur l'article. Le but du rapport est de mettre le sujet de l'article dans le contexe (quel problème est traité, à quoi correspond il dans la vie de tous les jours, quelles solutions standard et non standard existent etc.) et de présenter les principaux réslitats de l'article (il peut s'agir d'un protocole, d'une nouvelle définition etc.).

   Le rapport se rendu au format pdf, ne pas éxcéder 8 pages et m'être envoyé par frederic.prost@univ-grenoble-alpes.fr

   La date de rendu est le 25 Février 2023.

2. Une soutenance de 15 minutes aura lieu le 1er Mars 2023 sur votre travail pour discuter des différents aspects lés à l'article que vous avez choisi ainsi que des liens avec les autres sujets de sécurité abordés en cour prévoir pour la soutenance orale. La durée de soutenance est de 15 minutes qui sont suivies de 15 minutes de questions sur le sujet et les problématiques connexes à celles traitées dans l'exposé.

Liste des papiers

1. Programming Satan's Computer - Ross Anderson et Roger Needham
2. How Unique Is Your Web Browser? - Peter Eckersley
3. Formalizing Anonymous Blacklisting Systems - Ryan Henry et Ian Goldberg
4. De-anonimization attack on geolocated data - Sébastien Gambs, Marc-Olivier Killijia, Miguel Nuñez del Prado Cortez
5. How To Prove Yourself: Practical sSolutions to Identification and Signature Problems - Amos Fiat et Adi Shamir
6. Foundations of Group Signatures: Formal Definitions, Simplified Requirements, and a Construction Based on General Assumptions - Mihir Bellare, Daniele Micciancio et Bogdan Warinschi
7. Robust De-anonymization of Large Datsets (How to Break Anonymity of the Netflix Prize Dataset) - Arvind Narayanan et Vitaly Shmatikov

Choix

• Claire Bonnard : article 2 - How unique is your Web Browser ?
• Paul Faure-Jeunot : article 7 - Robust De-anonymization of Large Dataset.
• Adrien Glemba : article 4 - De-anonimization attack on geolocated data.
• Amandine Pascal : article 5 - How To Prove Yourself: Practical sSolutions to Identification and Signature Problems.
• Tristan Macaire : article 1 - Programming Satan's Computer.
• Liam Graslin : article 6 - Foundations of Group Signatures: Formal Definitions, Simplified Requirements, and a Construction Based on General Assumptions.

Planning des soutenances