sujet thèse : explications pour les modèles de décision multi-critère
Automation of proofs for the Ipanema DSL using Why3 and Verifiable C
Co-encadrement thèse Aniss Zebiri
Future interne research
Invité avec clé pour encadrement des thésards (Falq et Quezada) jusqu'à décembre 2020
En collaboration avec Eleni DIamanti
Doctorant IRT-SystemX
"Utilisation de Coccinelle dans le code HPC".
Contrôles d'accès dans les réseaux sans fil ultra-dense. ce travail est réalisé dans le cadre de la coopération en cours entre l'équipe Midiacom de i'Université Fédérale Fluminense (UFF) et l'équipe PHARE de l'UPMC.
Travail avec C. Durr, C. Doerr, F. Pascual, E. Bampis, B. Escoffier, Viet Hung Nguyen
Cryptographie quantique sur "puce" optique
L’objectif de cette thèse est de démontrer la possibilité d’intégrer un dispositif de distribution quantique de clé (QKD) sur une « puce » fabriquée à partir de la technologie de guides d’ondes optiques intégrés sur silicium. La méthode de cryptographie qui sera mise en oeuvre est basée sur des « variables quantiques continues », dont la mesure nécessite des détections optiques homodynes ou hétérodynes, ce qui évite l’utilisation très pénalisante de compteurs de photons, qui doivent être refroidis et sont délicats à utiliser. L’ensemble du dispositif, y compris les modulateurs et les détecteurs, peut donc être intégré sur la puce, ce qui rend l’utilisation de cette technologie particulièrement attrayante pour réaliser des dispositifs compacts et à bas coût. La thèse abordera des questions à la fois fondamentales (choix précis du protocole QKD utilisé, preuves de sécurité) et appliquées (conception et optimisation des composants en photonique intégrée). Elle sera co-encadrée par le LCFIO (Philippe Grangier) et le LTCI (Eleni Diamanti), qui sont les inventeurs et les promoteurs de cette technologie, à travers de nombreuses publications et plusieurs brevets. Les recherches seront faites en collaboration avec l’IEF à Orsay et en contact avec la start-up SeQureNet, qui est susceptible d’exploiter les résultats. Ceux-ci devraient ouvrir des nouvelles perspectives en permettant la réduction du coût et du volume des dispositifs QKD par plusieurs ordres de grandeur.
Calcul distribué
Traffic management in data center networks
Réseaux et théorie des graphes
Génie Logiciel
détection d'événements avec les flots de liens
Recherche sur les contrôles d'accès dans les réseaux sans fil ultra-denses.
