Séminaire Algo : Rémi Pallen (ENS Paris Saclay) « Comment le lambda-calcul typé peut-il nous assurer que nos données personnelles ne fuiront pas ? »

De nos jours, de nombreuses études publient des données sur des bases de données sensibles, mais comment s’assurer qu’elles ne dévoilent pas d’informations sur des individus pris séparément ? Nous allons voir comment nous pouvons concevoir un lambda-calcul dont les fonctions bien typées ne dévoilent aucune information (ou très peu) sur un individu en particulier.