Calcul multipartite et preuve de sécurité dans le modèle de la composabilité universelle.
Jeudi 19 septembre 2024, 14:00 à 15:00
Salle de séminaire du département informatique
Estelle Blin
(LIX, Ecole polyrtechnique)
Après une définition des notions de calcul multipartite (MPC) et de composabilité universelle. On verra un schéma de MPC dans le paradigme honnête mais curieux, utilisant le "secret sharing" de Shamir et la "locality random reduction".
Bien que ce schéma soit trop coûteux en complexité, on prouvera sa sécurité dans le modèle de la composabilité universelle.