Learn More
Blog
Notes from our work — protocol analysis, verified implementations, and everything else.
Announcing CE Labs
High-Assurance Cryptography for a Secure Future.
Read →Pushing the Boundaries of PQC for IoT
Optimizing ML-KEM, ML-DSA, and SHA-3 for resource-constrained IoT devices.
Read →High Assurance Post-Quantum Cryptography for IoT
Securing the Internet of Things in the age of Quantum Computers.
Read →