Une infrastructure de vérification pour l’apprentissage machine sécurisé

Notre but dans ce projet est de faire une implémentation vérifiée de SPDZ2k, un protocole de calcul multi-parti sécurisé, dans le but de l’appliquer au PPML. Bac + 5 ou équivalent. Atteindre ces objectifs, aussi simples qu’ils paraissent, se trouvent être difficiles et coûteux en pratique, et sont un domaine actif de recherche. Équipements professionnels à disposition (visioconférence, prêts de...