2 ans post-doctoral position (H/F)

Missions :
Ce projet de recherche postdoctoral s'inscrit dans le domaine de la cryptographie, science qui développe des algorithmes visant à protéger les informations et les communications contre des attaquants malveillants. L'objectif est de se concentrer sur la conception et la cryptanalyse d'algorithmes de chiffrement à clé symétrique, ainsi que de proposer diverses solutions pour un chiffrement efficace et sécurisé.

En cryptographie, une attention particulière doit être portée aux attaques classiques contre les chiffrements par blocs, telles que la cryptanalyse linéaire ou différentielle. Ces méthodes initiales offrent de nombreuses possibilités d'extension ; l'objectif de ce poste postdoctoral est d'analyser certains chiffrements au regard de ces attaques. Une attention spécifique sera accordée à la cryptanalyse différentielle-linéaire ainsi qu'aux attaques « Boomerang », en tenant compte des résultats très récents mentionnés ici. Bien que la cryptanalyse différentielle-linéaire soit une technique ancienne (datant de 1994), elle a récemment fait l'objet d'un regain d'intérêt grâce à l'introduction d'une table dédiée et à une analyse plus fine. Les progrès réalisés dans le domaine des attaques « Boomerang » empruntent diverses voies, notamment les extensions probabilistes ou le calcul spécifique des phénomènes se produisant lors des tours intermédiaires. Il s'agira, en particulier, d'analyser à l'aide de ces outils récents les schémas ARX, et plus spécifiquement les schémas de type « Latin Dance » tels que SALSA, ChaCha, etc.


Activités :
L'objectif de ce projet de recherche postdoctoral est d'élaborer de nouvelles attaques contre des chiffrements par blocs, des chiffrements à flux ou des fonctions de hachage, en commençant par l'étude de la cryptanalyse linéaire et différentielle. Une attention particulière sera ensuite portée aux attaques différentielles-linéaires ou, plus généralement, aux attaques statistiques ou composites. Après avoir parfaitement assimilé les méthodes et les modèles (MILP, SAT ou CP), nous développerons des modèles adaptés à d'autres chiffrements par blocs ou intégrerons ces nouveaux modèles dans un outil dédié tel que TAGADA, CLAASP ou un autre outil.
Contexte de travail :
Ce poste de post-doctorat est rattaché au volet de l'équipe CARAMBA travaillant sur la cryptographie à clé symétrique.

Le contrat portera sur une durée de deux ans et se déroulera au Laboratoire lorrain de recherche en informatique et ses applications (LORIA) à Nancy (France).