November 29, 2018, Matthieu Rambaud (Telecom ParisTech) : II. Un modèle et une preuve de sécurité de MPC à base de partage de secret.