Cryspen

About

Formal verification and verified cryptography for teams building high-assurance software — an open-source framework that proves Rust code correct using several provers, and a specification-driven toolkit that takes critical software from design to deployment, backed by consulting and support.

Key facts

Status

Active

Sectors

Cyber & Security

Founded

2021

Registered office

Paris

Region

IDF