Résumé
Dans cet exposé, nous aborderons le calcul multipartite sécurisé sous l'angle de son efficacité concrète, et détaillerons le paradigme du calcul sécurisé dans le modèle de l'aléa corrélé. Dans ce paradigme, les participants ont accès à une source sécurisée produisant de longues chaînes aléatoires corrélées. Cette approche réduit la problématique du calcul sécurisé efficace à deux sous-questions : comment l'utilisation de longues chaînes aléatoires corrélées peut-elle accélérer les protocoles de calcul sécurisé ? Comment générer efficacement et de façon sûre de longues chaînes aléatoires corrélées ? Nous illustrerons tout d'abord la réponse à la première question en partant d'un protocole de Beaver, et montrerons comment l'usage d'extension de transferts inconscients permet, à partir d'un simple générateur pseudo-aléatoire, de répondre à la seconde question dans le cadre du calcul de circuits booléens avec sécurité passive. En fin d'exposé, nous montrerons comment la notion récente de générateurs de corrélations pseudo-aléatoires permet de réaliser cette extension de transferts inconscients avec une communication minimale.
