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.
En cliquant sur "JE DÉPOSE MON CV", vous acceptez nos CGU et déclarez avoir pris connaissance de la politique de protection des données du site jobijoba.com.