CRYSPEN

Description

Cryspen est une entreprise franco-allemande fondée en 2021, spécialisée dans le développement de logiciels de cybersécurité à haut niveau d'assurance reposant sur des méthodes formelles et des preuves mathématiques. Elle conçoit des solutions cryptographiques robustes et vérifiables, destinées aux systèmes critiques nécessitant une sécurité maximale, notamment dans les domaines de la défense, des infrastructures sensibles, des communications sécurisées et des environnements réglementés. Parmi ses produits phares figurent OpenMLS, une implémentation du protocole Messaging Layer Security (MLS) pour le chiffrement de bout en bout des communications de groupe ; libcrux, une bibliothèque cryptographique portable et formellement vérifiée intégrant des primitives résistantes aux attaques quantiques ; et HAX, un framework de vérification permettant de traduire du code Rust sécurisé vers des langages formels pour l'analyse de sécurité et la vérification fonctionnelle complète. Cryspen offre également des services de conseil en sécurité formelle, incluant l'analyse approfondie des mécanismes cryptographiques déployés, la transition vers la cryptographie post-quantique et l'intégration sécurisée de standards tels que MLS dans les infrastructures technologiques existantes. Basée à Paris et Berlin, l'entreprise collabore étroitement avec des institutions de recherche telles qu'Inria pour adapter et étendre les outils de vérification formelle à des applications industrielles, garantissant ainsi des solutions logicielles sécurisées et fiables pour ses clients.

Mots-clés