MPC
Abstract
L'objectif de ce cours est de présenter aux étudiants les concepts de base du calcul multipartite sécurisé, les protocoles MPC fondamentaux et les protocoles plus avancés des blockchains.
Modalités pédagogiques : Cours magistraux et devoirs maison.
Règles du cours : Le projet final ainsi que les devoirs maison ne sont pas obligatoires.
Bibliography
- Livre : EVANS D., KOLESNIKOV V., ROSULEK M. A Pragmatic Introduction to Secure Multi-Party Computation. Now Publishers Inc, 2018, 190p. https://securecomputation.org/
- Livre : CRAMER R., DAMGAARD I. B., NIELSEN J. B. Secure Multiparty Computation and Secret Sharing. Cambridge University Press, 2015, 381p.
- Livre : NARAYANAN A., BONNEAU J., FELTEN E., MILLER A., GOLDFEDER S. Bitcoin and Cryptocurrency Technologies. Princeton University Press, 2016, 336p. http://bitcoinbook.cs.princeton.edu/
- Diapositives et documents scientifiques.
Requirements
Les étudiants doivent avoir suivi le cours « Sécurité des Communications (SecCom) » ou un cours équivalent avant de suivre ce cours. Des connaissances de base en probabilité et en algèbre linéaire sont suggérées.
Description
- Le paradigme de la simulation, les modèles de sécurité pour MPC.
- Circuits barbouillés et 2PC, transfert oblivious, schémas d'engagement.
- Les schémas de partage de secret (SSS)
- MPC honnête-mais-curious basé sur SSS
- Compilateurs cryptographiques
- MPC malicieusement sécurisé basé sur SSS
- Propriétés de sécurité des blockchains en tant que protocoles MPC
- Blockchains basées sur la preuve de travail
- Blockchains préservant la vie privée
- Blockchains basées sur la preuve d'enjeu
Objectifs d'apprentissage :
- Raisonner sur les exigences de sécurité des protocoles cryptographiques,
- Connaître la base des protocoles MPC et Blockchains les plus connus.
Nombre d'heure : 21 heures
Evaluation :
- Projet final avec présentation orale (40% de la note finale),
- Examen (60% de la note finale).
