About Seceq
Seceq is a cryptography and security company. We write high-performance, formally verified implementations of modern cryptographic algorithms.
Why we do this
We build cryptographic libraries that are fast, correct and ready for post-quantum algorithms. They should outperform existing implementations without lowering the bar on security. Tests can show that a bug is there but never that it isn't, so we use formal verification to prove our code correct.
How we work
- Security first
- Security is the main concern in every line we write, and we use formal verification to prove the code is correct.
- Performance
- Security shouldn't cost performance. Our implementations regularly beat the alternatives while holding to the same security standards.
- Post-quantum
- We help organizations prepare for quantum computers with implementations of the new post-quantum algorithms.
- Open source
- Our core libraries are open source, so anyone can check our work and build on it.
What we do
- Cryptography research
- We work on cryptographic algorithms and implementation techniques, and publish papers on post-quantum cryptography, symmetric ciphers and zero-knowledge systems.
- TLS migration
- We help organizations move to TLS 1.3 and post-quantum key exchange, with advice and tooling for the migration.
- Formal verification
- We use theorem proving and AI-assisted verification to prove our implementations correct.
- Zero-knowledge infrastructure
- We develop OpenZKVM and ZK IR, an instruction set designed for zero-knowledge proof systems.
Want to talk? Book a meeting.