CRYSPEN
PARIS, FR
Société de services et d'édition d'outils pour la sécurité formelle des systèmes critiques
À propos
Cryspen propose des outils et technologies avancés pour la sécurité et la fiabilité des systèmes critiques. La société réalise des analyses formelles approfondies des mécanismes cryptographiques, protocoles et implémentations déployés.
Solutions proposées
HAX
Par CRYSPEN
HAX est un framework de vérification formelle pour le langage Rust. Il traduit du code Rust vers des langages de preuves...
libcrux
Par CRYSPEN
Libcrux est une bibliothèque cryptographique écrite en Rust, offrant des primitives de chiffrement symétrique et asymétr...
OpenMLS
Par CRYSPEN
OpenMLS est une implémentation en Rust du protocole Messaging Layer Security (MLS), conçue pour le chiffrement de bout e...
Éditeurs similaires
3SI
GUERET, France
Éditeur de solutions logicielles pour la dématérialisation et la gestion sécurisée des flux documentaires.
SRCI
CHARTRES, France
Développement de solutions sécurisées de dématérialisation et d'échange électronique de documents pour les entreprises et le public.
CAST
MEUDON, France
Fournit une analyse détaillée de la structure et de la qualité des logiciels pour les entreprises.
TRUSTINSOFT
PARIS, France
Spécialiste de la sécurité logicielle, elle développe des solutions d'analyse statique formelle pour garantir la robustesse des codes C/C++ avant exécution.
