H/F Développement et maintenance de Squirrel, un assistant de preuve pour les protocoles cryptographiques
Des interfaces plus avancées et portables pourraient être développées, en fonction sur les compétences de l’ingénieur et les priorités du projet : le Language…
