Cryspen

Cryspen is a cybersecurity company founded in late 2021 by three experts in cyber security with a proven track record in security, cryptography, and automated reasoning. Our mission is to revolutionize software safety and security by bringing cutting-edge automated reasoning tools, traditionally used in research labs, to the commercial world. We believe that safety, privacy, and end-to-end security are fundamental and a crucial piece for a modern and open society.

Our mission is to empower organizations to build secure, reliable, and trustworthy software systems through innovative tools, services, and high-assurance software components.