Post Doc

**Votre rôle**:
Votre rôle est d’effectuer un travail de Post doc sur « Framework d’attestation évolutif et prouvable » rattaché au projet international « l’IPCEI CIS ».

**Contexte global**
Les réseaux mobiles de nouvelle génération se basent sur la virtualisation et le partage des ressources physiques. Cela devrait fournir des réseaux plus flexibles et dynamiques offrant de nouvelles opportunités et des services inédits aux utilisateurs finaux. Ce nouveau contexte implique ainsi plusieurs collaborateurs et une nouvelle vue d'ensemble du réseau mobile : un opérateur du réseau mobile (MNO) construit son réseau en utilisant des infrastructures fournies par un ou plusieurs fournisseurs d’infrastructures et des VNFs fournies par un ou plusieurs fournisseurs de VNFs, puis établit un ensemble de réseaux virtualisés, (« slices » en anglais), pour les verticaux (e.g., IoT, e-santé, industrie 2.0). Ce changement de paradigme induit dès lors de nombreux défis notamment comment le MNO peut-il prouver aux verticaux utilisant son réseau que ce dernier offre bien les fonctionnalités souhaitées et respecte bien les propriétés attendues (par exemple, géolocalisation restreinte des nœuds du réseau, exigences de transit des flux, faible temps de latence ). Dans ce contexte, des mécanismes permettant de mesurer et vérifier l’état d’un réseau s’avèrent essentiels. Un des axes de recherche de ce post-doc portera sur les framework d’attestation qui visent à fournir des preuves techniques, incontestables et vérifiables de l’état d’un réseau.

**Objectif scientifique - résultats et verrous à lever**
L’objectif est la mise en place d’un framework d’attestation prouvable qui (1)permet d’exécuter plusieurs types d’attestation, (2)peut être facilement enrichi avec de nouveaux types d’attestation (e.g., DA, intégrité, PP ) et (3)s’adapte à plusieurs types d’environnement d’exécution (e.g., VM, container, fonction..).

Les principaux verrous scientifiques de ce sujet sont:

- Les modèles et preuves de sécurité existantes se limitent aux briques cryptographiques : Le post-doc doit spécifier des protocoles d’attestation et établir des preuves de sécurité qui considèrent non seulement les briques cryptographiques mais les protocoles dans leurs totalités.
- Aucun framework d’attestation ne propose plusieurs propriétés à attester : les projets de recherche existants se focalisent principalement sur une seule propriété (intégrité d’un système). Le post-doc doit concevoir un framework d’attestation qui propose d’attester plusieurs propriétés.
- Aucun framework d’attestation ne considère plusieurs environnements d’exécution : Le post-doc doit proposer des implémentations des protocoles d’attestation dans plusieurs environnements.

Les principales réalisations attendues sont:

- Une analyse de la sécurité des solutions d’attestation existantes
- Un modèle de sécurité complet des protocoles d’attestation à intégrer dans le framework
- Une implémentation d’un prototype du framework d'attestation

**Votre profil**:
**Compétences scientifiques et techniques**
- Cryptographie : protocoles de sécurité, preuves de sécurité, protocoles d’attestation
- Système : TPM 2.0, TEE, IMA
- Réseau mobile : un peu de connaissance sur l’architecture, les fonctions, le fonctionnement
- Développement : python, REST, C

**Qualités personnelles**:

- Autonome
- Prendre l’initiative
- Curieux
- Travailler dans un milieu multiculturel.

**Formation demandée **:Doctorat en sécurité informatique ou bien cryptographie

**Le plus de l'offre**:
Le postdoc intégrera une équipe de recherche dynamique ayant une renommée internationale dans les domaines de la cryptographie, de la sécurité des réseaux et des services mobiles. Il pourra participer à des projets collaboratifs français et européens notamment IPCEI CIS et ANR MobiS5. Enfin, le sujet du postdoc s’inscrit dans le cœur des problématiques des nouveaux réseaux mobiles ainsi qu’aux cas d’usage qui lui sont associés (e.g., la certification dynamique).

**Entité**:
L’ambition de la Division Innovation est de porter plus loin l’innovation d’Orange et de renforcer son leadership technologique, en mobilisant nos capacités de recherche pour nourrir une innovation responsable au service de l’humain, éclairer les choix stratégiques du Groupe à long terme et influencer l’écosystème digital mondial.
Nous formons les expertes et les experts des technologies d’aujourd’hui et de demain, et veillons à une amélioration continue de la performance de nos services et de notre efficacité. La division Innovation rassemble, dans le monde, 6000 salariés dédiés à la recherche et l’innovation dont 740 chercheurs. Porteurs d’une vision globale avec une grande diversité de profils (chercheurs, ingénieurs, designers, développeurs, data sci