Catuscia Palamidessi
IdRefMots clés
FR |
EN
Protection de l'information (informatique)
Apprentissage automatique
Protection de la vie privée
Information, Théorie de l'
Cryptographie
Méthodes formelles
Vie privée
Équité
Confidentialité
Confidentialité différentielle
Théorie de l'information
Calculs de processus
Programmation par contraintes
Logique mathématique
Théorie des graphes
Réseaux neuronaux (informatique)
Systèmes informatiques -- Mesures de sûreté
Contraintes
Logique modale
Théorie d'ordre