OrganisationsCryspen
Cryspen
Cryspen fournit des logiciels, des outils et une expertise pour définir et atteindre des niveaux appropriés de sécurité et de confiance pour les systèmes critiques.
Paris
Explorer ce compte dans TekosMis à jour le 24 mai 2026
En résumé
- Secteur
- Technologie
- Siège
- Paris, France
- Forme
- TPE (Très Petite Entreprise)
- Présence
- France
- Création
- 2021
Présentation de Cryspen
Cryspen fournit des logiciels, des outils et une expertise pour définir et atteindre des niveaux appropriés de sécurité et de confiance pour les systèmes critiques.
Technologies
Technologies mentionnées dans les projets et métiers observés.
Compilateur
Formal verification
Lean
OCaml
ProVerif
Rust
Sécurité logicielle
hax
rustc
Implantations
Sites principaux déclarés publiquement.
Paris
France
Siège principal
Questions fréquentes
Réponses établies à partir des connaissances disponibles sur cette entreprise.
Plus de connaissances. Plus d’opportunités.
Cette page ne montre qu’un aperçu. Dans Tekos, reliez les métiers, projets et technologies pour identifier les meilleures opportunités commerciales.
Trouver de nouvelles opportunités
Bêta gratuite · sans carte bancaire