Cryspen
@cryspen.com
High Assurance Cryptography
Cryspen's Company Logos
Cryspen's Brand Colors
Hex Code
Color name
RGB
HSL
CMYK
#960000
Red Berry
150, 0, 0
0, 100, 29
0, 100, 100, 41
#FFFFFF
White
255, 255, 255
0, 0, 100
0, 0, 0, 0
#960001
Red Berry
150, 0, 1
360, 100, 29
0, 100, 99, 41
About Cryspen
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
Company type
Privately Held
Year founded
2021
Company size
2-10 employees
