Séance de cours
Cette séance de cours couvre les techniques de calcul multipartites sécurisés (SMC), en mettant l'accent sur la vente aux enchères danoise de betteraves sucrières comme un exemple historique. Il introduit le cadre théorique de SMC, le protocole SecureSum et la conception de protocoles sécurisés. La séance de cours explique les concepts de modèle de réseau, de modèle d'adversaire et de garanties de sécurité dans le contexte de SMC. Il s'inscrit dans le Real/Ideal Simulation Paradigm, prouvant la sécurité dans les modèles adverses passifs et malveillants. La séance de cours traite également des circuits Garbled, Oblivious Transfer et Shamir Secret Sharing, mettant en évidence leurs applications et leurs opérations. Enfin, il explore la combinaison de SMC avec le chiffrement homomorphe et les travaux clés de références dans le domaine.