# Cryspen

- **Website:** <https://cryspen.com>
- **Primary alias:** `cryspen.com`
- **Claimed:** yes
- **Founded:** 2021
- **Employees:** 2+
- **Location:** Paris, le-de-France, France
- **Company kind:** PRIVATELY HELD

## Description

Cryspen is a cutting-edge brand that specializes in high assurance cryptography. Founded in December 2021 by Franziskus Kiefer, Karthikeyan Bhargavan, and Jonathan Protzenko, Cryspen aims to adapt and extend the latest formal verification tools developed at research labs like Inria and apply them to commercial software development. With a team of experts who have a proven track record in high-assurance high-performance cryptographic software development, both in research and industry, Cryspen is dedicated to solving challenging problems in this field. CEO Franziskus utilizes his background in analyzing and proving cryptographic protocols, as well as implementing and maintaining cryptography software. Chief Research Scientist Karthik is an expert in formal verification, protocol analysis, and applied cryptography. Scientific Advisor Jonathan brings his experience in designing languages, verification software, and toolchains for formal methods. Join Cryspen and experience the expertise and innovation they offer in the realm of high assurance cryptography. Contact them at info@cryspen.com for further inquiries.

## Industries

- 🖥 Computer Security _(under Computers Electronics and Technology)_
- 🖥 Computers Electronics and Technology

## Links

- [github](https://github.com/cryspen)
- [linkedin](https://linkedin.com/company/cryspen)
- [twitter](https://twitter.com/CryspenHQ)

## Logos & icons

- logo _(primary)_ — PNG — [download](https://cdn.brandfetch.io/idSH0hhrEt/w/2461/h/558/theme/dark/logo.png?c=1bxid64Mup7aczewSAYMX&t=1692870182947)
- asset — PNG — [download](https://cdn.brandfetch.io/idSH0hhrEt/w/296/h/296/idc9M9KAYY.png?c=1bxid64Mup7aczewSAYMX&t=1692870337217)
- CRYSPEN_Favicon_red — PNG — [download](https://cdn.brandfetch.io/idSH0hhrEt/w/296/h/296/idqz_SNr3E.png?c=1bxid64Mup7aczewSAYMX&t=1692870394500)
- CRYSPEN_Favicon_red _(primary)_ — PNG — [download](https://cdn.brandfetch.io/idSH0hhrEt/w/296/h/296/theme/dark/icon.png?c=1bxid64Mup7aczewSAYMX&t=1692870394514)

## Colors

| Name | Hex | Theme |
| --- | --- | --- |
| Red Berry | #960000 | accent |
| Red Berry | #960001 | dark |
| White | #ffffff | light |

## Fonts

- var(--bs-body-font-family) — asset _(custom)_

---

_Source: <https://brandfetch.com/cryspen.com>_
_See [/llms.txt](/llms.txt) for a full list of agent-readable pages, and [/auth.md](/auth.md) for how agents authenticate._