Cryspen is a company that provides advanced tools and technologies for provable security and reliability in critical systems. They offer services for formal security analysis of cryptographic mechanisms, protocols, and implementations, and they help upgrade systems with post-quantum cryptographic solutions. Cryspen also develops software for secure group communication and implements such technologies with a focus on verifiable and safe cryptography.
Cryptography • Formal Verification
5 days ago
As a Proof Engineer at Cryspen, develop correctness proofs and collaborate on software verification tools.
5 days ago
Join Cryspen to build formal verification tools for secure software solutions. Collaborate in a dynamic team of researchers and engineers.
January 13
Join Cryspen to build and maintain correctness proofs for verified software solutions in a remote setting.
January 13
Join Cryspen to develop and maintain software proofs, enhancing formal verification tools in cybersecurity.