https://cryspen.com/tags/spectrum/Recent content in Spectrum on CryspenHugoen-usThu, 25 Jun 2026 00:00:00 +0000https://cryspen.com/post/eic-transition-spectrum/Thu, 25 Jun 2026 00:00:00 +0000https://cryspen.com/post/eic-transition-spectrum/<p>We are excited to have been awarded a Transition Grant from the European Innovation Council to build a specification and verification toolkit that developers can use to build and deploy provably-secure software. The project is called <a href="https://cryspen.com/spectrum/">Spectrum</a> and it builds on our <a href="https://hax.cryspen.com">hax</a> open-source framework.</p> <p>In the coming months, we will describe how we and our customers use the Spectrum tools on a daily basis to design and implement security-critical systems. If you would like to know how Spectrum can help you, get in touch.</p>