Catuscia Palamidessi
Catuscia Palamidessi dirige actuellement les 7 thèses suivantes :
Combination of fairness and privacy in training data
par Karima Makhlouf sous la direction de Catuscia Palamidessi - Institut polytechnique de Paris
Informatique, données, IA
En préparation depuis le 01-09-2021
L'équité dans l'apprentissage automatique: l'approche interdisciplinaire
par Ruta Binkyte-sadauskiene sous la direction de Catuscia Palamidessi - Institut polytechnique de Paris
Informatique, données, IA
En préparation depuis le 01-12-2020
Méthodes offrant un compromis optimal entre la protection de la vie privée et plusieurs types d'utilité des données
par Sayan Biswas sous la direction de Catuscia Palamidessi - Institut polytechnique de Paris
Informatique, données, IA
En préparation depuis le 01-09-2020
Équité dans l'apprentissage automatique
par Carlos PINZóN sous la direction de Catuscia Palamidessi - Institut polytechnique de Paris
Informatique, données, IA
En préparation depuis le 01-07-2020
FUITE DE DONNÉES PAR LES RÉSEAUX DE NEURONES
par Ganesh Del grosso guzman sous la direction de Catuscia Palamidessi - Institut polytechnique de Paris
Informatique, données, IA
En préparation depuis le 01-11-2019
Sécurisation des Algorithmes d'Apprentissage Automatique
par Federica Granese sous la direction de Catuscia Palamidessi et de Daniele Gorla . - Institut polytechnique de Paris
Informatique, données, IA
En préparation depuis le 01-10-2019
Modèles mathématiques de la polarisation de groupes, des infox et de la vie privée dans les réseaux sociaux.
par Santiago Quintero PabóN sous la direction de Catuscia Palamidessi et de Frank Valencia . - Institut polytechnique de Paris
Informatique, données, IA
En préparation depuis le 01-10-2018
Catuscia Palamidessi a dirigé les 13 thèses suivantes :
Confidentialité différentielle pour les espaces métriques : modèles théoriques de l'information pour la confidentialité et l'utilité avec de nouvelles applications aux domaines métriques
par Natasha Fernandes sous la direction de Catuscia Palamidessi et de Annabelle Mciver . - Institut polytechnique de Paris
Informatique
Soutenue le 28-05-2021
Méthodes d'apprentissage machine pour la protection de la vie privée : mesure de leakage et design des mécanismes
par Marco Romanelli sous la direction de Catuscia Palamidessi et de Moreno Falaschi . - Institut polytechnique de Paris
Informatique, données, IA
Soutenue le 21-10-2020
On the expressiveness of spatial constraint systems
par Michell Guzmán sous la direction de Catuscia Palamidessi et de Frank Valencia . - Université Paris-Saclay (ComUE)
Informatique
Soutenue le 26-09-2017
Efficient Verification and New Reasoning Techniques for Concurrent Constraint Programming
par Luis Fernando Pino Duque sous la direction de Catuscia Palamidessi - Palaiseau, Ecole polytechnique
Informatique
Soutenue en 2014
Measuring Privacy with Distinguishability Metrics: Definitions, Mechanisms and Application to Location Privacy
par Nicolás E. Bordenabe sous la direction de Catuscia Palamidessi et de Konstantinos Chatzikokolakis . - Palaiseau, Ecole polytechnique
Informatique
Soutenue en 2014
The Epistemic View of Concurrency Theory
par Sophia Knight sous la direction de Catuscia Palamidessi - Palaiseau, Ecole polytechnique
Informatique
Soutenue en 2013
Safe Programming in Finite Precision: Controlling Errors and Information Leaks
par Ivan Gazeau sous la direction de Dale Miller et de Catuscia Palamidessi . - Palaiseau, Ecole polytechnique
Informatique
Soutenue en 2013
Bisimulation techniques and algorithms for concurrent constraint programming
par Andrés Aristizábal sous la direction de Frank Valencia et de Catuscia Palamidessi . - Palaiseau, Ecole polytechnique
Informatique
Soutenue en 2012
Des approches formelles pour le cachement d'information : une analyse des systèmes interactifs, contrôle de divulgation statistique, et le raffinement des spécifications
par Mario S. Alvim sous la direction de Catuscia Palamidessi - Palaiseau, Ecole polytechnique
Informatique
Soutenue en 2011
Quantitative Approaches to Information Hiding
par Christelle Braun sous la direction de Catuscia Palamidessi - Palaiseau, Ecole polytechnique
Informatique
Soutenue en 2010
Une approche formelle à la modélisation, simulation et analyse de nano-machines
par Sylvain Pradalier sous la direction de Catuscia Palamidessi - Palaiseau, Ecole polytechnique
Informatique
Soutenue en 2009
Universal temporal Concurrent Constraint Programming
par Carlos Olarte sous la direction de Catuscia Palamidessi et de Frank Valencia . - Palaiseau, Ecole polytechnique
Informatique
Soutenue en 2009
On the expressivity of infinite and local behaviour in fragments of the pi-calculus
par Jesus Alexander Aranda sous la direction de Catuscia Palamidessi , Frank Valencia et de Juan.F Diaz . - Palaiseau, Ecole polytechnique
Informatique
Soutenue en 2009
Catuscia Palamidessi a été président de jury des 3 thèses suivantes :
Graphes, géométrie et représentations pour le langage et les réseaux d'entités
par Sammy Khalife sous la direction de Michalis Vazirgiannis - Institut polytechnique de Paris
Informatique, données, IA
Soutenue le 31-08-2020
Preuves symboliques de propriétés d’indistinguabilité calculatoire
par Adrien Koutsos sous la direction de Hubert Comon-Lundh - Université Paris-Saclay (ComUE)
Informatique
Soutenue le 27-09-2019
Vérification de propriétés d'indistinguabilité pour les protocoles cryptographiques
par Antoine Dallon sous la direction de Stéphanie Delaune et de Véronique Cortier . - Université Paris-Saclay (ComUE)
Informatique
Soutenue le 26-11-2018
Catuscia Palamidessi a été rapporteur des 2 thèses suivantes :
Social Graph Anonymization
par Huu-Hiep Nguyen sous la direction de Michaël Rusinowitch et de Abdessamad Imine . - Université de Lorraine
Informatique
Soutenue le 04-11-2016
Approches formelles pour l'analyse de la performabilité des systèmes communicants mobiles : Applications aux réseaux de capteurs sans fil
par Robert Abo sous la direction de Kamel Barkaoui - Paris, CNAM
Informatique
Soutenue le 06-12-2011
Catuscia Palamidessi a été membre de jury des 5 thèses suivantes :
Efficient verification of observational equivalences of cryptographic processes : theory and practice
par Itsaka Rakotonirina sous la direction de Steve Kremer et de Vincent Cheval . - Université de Lorraine
Informatique
Soutenue le 01-02-2021
Behavioural distances for probabilistic higher-order programs
par Raphaëlle Crubillé sous la direction de Thomas Ehrhard et de Ugo Dal Lago . - Sorbonne Paris Cité
Informatique
Soutenue le 20-06-2019
Geometric and Dual Approaches to Cumulative Scheduling
par Nicolas Bonifas sous la direction de Philippe Baptiste et de Jérôme Rogerie . - Université Paris-Saclay (ComUE)
Mathématiques et Informatique
Soutenue le 19-12-2017
Vérification automatique de la protection de la vie privée : entre théorie et pratique
par Lucca Hirschi sous la direction de Stéphanie Delaune et de David Baelde . - Université Paris-Saclay (ComUE)
Informatique
Soutenue le 21-04-2017
Privacy-Preserving Quantization Learning for Distributed Detection with Applications to Smart Meters
par Maggie Mhanna sous la direction de Pierre Duhamel et de Juan Pablo Piantanida . - Université Paris-Saclay (ComUE)
Réseaux, information et communications
Soutenue le 13-01-2017
