Application en cours de test. Merci de nous signaler les informations manquantes ou erronées, ainsi que les éventuels dysfonctionnements de l'application : contact@numeriquedeconfiance.fr

CRYSPEN

PARIS, FR

Société de services et d'édition d'outils pour la sécurité formelle des systèmes critiques

FR SARL (autre) Spin-off Inria Développement & DevOps Cybersécurité & Confiance Outils de développement Chiffrement
Visiter le site web

À 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...

Développement & DevOps Outils de développement
FR
Voir la fiche

libcrux

Par CRYSPEN

Libcrux est une bibliothèque cryptographique écrite en Rust, offrant des primitives de chiffrement symétrique et asymétr...

Cybersécurité & Confiance Chiffrement
FR
Voir la fiche

OpenMLS

Par CRYSPEN

OpenMLS est une implémentation en Rust du protocole Messaging Layer Security (MLS), conçue pour le chiffrement de bout e...

Cybersécurité & Confiance Chiffrement
FR
Voir la fiche
Référencer les produits de ma société Proposer une modification

Informations juridiques

Source : INSEE

Forme juridique
SARL (autre)
Code NAF
62.01Z - Programmation informatique
Date de création
2021-12-21
Effectif
1 employé(s)

Liens

Site web
www.cryspen.com

Localisation

149 AVENUE DU MAINE 75014 PARIS

FR

Métadonnées

Source des données
inria-spinoffs