Ingénieur / Ingénieure d'intégration applicative (H/F)
Description du poste
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.
Données marché — Cartographe
Ingénieurs et cadres d'étude, recherche et développement (industrie)
Médian : 3 333 €
Données non disponibles