Ce projet vise à construire un nouvel environnement intégré de développement et de vérification (IDVE), nommé Circus, qui est destiné aux développeurs de logiciels et aux architectes de sécurité. In fine, l’objectif du projet est de préconiser l’utilisation commerciale de la vérification formelle dans toutes les solutions cryptographiques utilisées dans l’industrie du logiciel. Nous prévoyons de rendre l’IDVE Circus utilisable par des développeurs dans les grandes entreprises de logiciels qui n’ont pas nécessairement de connaissances en vérification formelle. En collaboration avec Cryspen, nous appliquerons Circus au transfert technologique de Bertie, la première implémentation haute performance et prête à l’emploi de TLS. En résumé, notre ambition est de changer fondamentalement la manière dont les logiciels critiques pour la sécurité sont développés et déployés, afin que la sécurité du Web puisse être améliorée de manière quantifiable pour tous les citoyens.
Durée du projet : 24 mois
Partenaires :