Secure Multiparty Computation: Vente aux enchères de betteraves sucrières danoises

Cette séance de cours traite de la vente aux enchères de betteraves à sucre danoises comme un exemple historique, où 5000 agriculteurs avaient besoin d'un marché pour échanger des droits de production. Il explore le rôle d’un commissaire-priseur, proposant un protocole cryptographique pour un calcul sécurisé. La séance de cours présente le cadre théorique de Secure Multiparty Computation (SMC), illustrant le concept avec des exemples comme SecureSum. Il se penche sur la conception de protocoles sécurisés, soulignant l’importance d’une définition claire de la sécurité. La séance de cours compare les mondes réels et idéaux en termes de sécurité, soulignant la nécessité d'une meilleure définition de la sécurité. Il explique la définition généralisée de la sécurité et le paradigme de simulation réel / idéal pour prouver la sécurité. La séance de cours se termine en explorant le modèle de réseau, le modèle contradictoire et les garanties de sécurité dans le contexte du calcul sécurisé.