Calcul multipartite et blockchains

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.

Enseignement et méthodes d'apprentissage : cours et homeworks

Règles du cours : Projet final et homeworks

Bibliography

Requirements

Les étudiants doivent avoir suivi 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 cours couvrira :

  • ·         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-curiuos 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éesu sur la preuve d'enjeu

 

Résultats d'apprentissage :

Les étudiants seront capables de raisonner sur les exigences de sécurité des protocoles crypotographiques, d'avoir une connaissance de base des protocoles MPC et Blockchains les plus connus.

Nb heures : 21

Evaluation:  Lecture: 20, Problem session: 1, Programmed personal work: 4

Evaluation: Projet final avec présentation orale (40%), examen (60%).