Systems & Architecture
Threat models, trust boundaries, and the architecture of systems that stay secure under real-world pressure — not just on the whiteboard.
High Assurance Security Engineering
Secure design, engineered for certainty.
CE Labs designs and builds systems where security comes first — applied cryptography and rigorous engineering, backed by formal methods where correctness matters most.
What we do
Security on every layer.
Protocols & Key Management
Key exchange, authentication, and transport — designed and reviewed against formal security models and the threats they actually face.
Cryptography Engineering
The algorithms at the foundation: implemented for performance and correctness, hardened against side channels, and post-quantum ready.
Machine-Checked Proofs
When the stakes call for it, we go further: machine-checked proofs that the code meets its specification.
Projects
Code that we've open-sourced.
Open source
celabshq/hpke-rsLibrary
A high-assurance Rust implementation of HPKE (Hybrid Public Key Encryption, RFC 9180), built on libcrux's verified cryptographic primitives.
celabshq/libcruxLibrary
A high-assurance cryptographic library: formally verified, high-performance implementations of post-quantum and classical primitives.
View all projects →Have something that has to be right?
Tell us what you're building. We'll tell you what it would take to make it secure.