Announcing CE Labs

Wed, 24 Jun 2026 00:00:00 +0000

Today we’re launching CE Labs, focused on high-assurance security engineering, spun off from Cryspen . The new independence lets both teams pursue their missions with greater agility: Cryspen continues its work on verification products and the Spectrum EIC Grant initiative , while we concentrate on designing and building systems that are secure from the cryptography up. This is just the start — we’ve got exciting projects underway and plenty to share, so expect more from us here soon.

High Assurance Post-Quantum Cryptography for IoT

Mon, 05 Aug 2024 00:00:00 +0000

We extend the libcrux cryptographic library with support for resource constrained IoT devices. The libcrux-iot library contains high performance, high assurance implementations of post-quantum, as well as classical, cryptographic primitives.

Announcement on CE Labs

Announcing CE Labs

High Assurance Post-Quantum Cryptography for IoT