Ingénieur / Ingénieure d'intégration applicative (H/F)

Mission : Contribuer à l'amélioration de l'outil SQUIRREL en concevant un langage de propriétés pour les protocoles cryptographiques, indépendant du découpage en systèmes d'actions, et compatible avec d'autres outils comme SAPIC⁺. Activités : Étudier le résultat théorique sur la traduction et sa justification (BDGH25) et prendre en main l'outil SQUIRREL. Concevoir un langage de propriétés inspiré de SAPIC⁺, permettant une interopérabilité entre les outils et facilitant les analyses de sécurité (ex. : preuves d'authentification ou d'équivalence). Adapter ou exploiter le résultat de correction de la traduction pour SAPIC⁺, en explorant un regroupement des instructions pour améliorer ses performances. Développer et intégrer les résultats obtenus dans l'outil SQUIRREL.