Cryspen

À propos

Vérification formelle et cryptographie vérifiée pour les équipes qui développent des logiciels à haut niveau d’assurance : un framework open source qui prouve la correction de code Rust avec plusieurs prouveurs, et une boîte à outils pilotée par la spécification qui accompagne le logiciel critique de la conception au déploiement, complétés par du conseil et du support.

Informations clés

Statut

Active

Secteurs

Cyber & Security

Création

2021

Siège social

Paris

Région

IDF