Jeudi 09/08/2012, à partir de 14h, en salle Byron Blanc.
Orateur : Thomas Williams.
Titre : Vérification automatique de propriétés de « differential privacy ».
Résumé :
On cherche à montrer que des programmes faisant intervenir des tirages aléatoires ne révèlent pas trop d’informations sur leur entrée : la distribution des valeurs de sortie varie peu quand l’entrée varie peu.
