Building the Future of Secure Infrastructure
SECEQ is a cryptography and security company focused on developing high-performance, formally verified implementations of modern cryptographic algorithms.
Our Mission
We build cryptographic libraries that are fast, correct, and ready for the post-quantum era. Our implementations are designed to outperform existing solutions while maintaining the highest security standards. We use formal verification to mathematically prove correctness—because when it comes to cryptography, tests alone aren't enough.
Our Values
Security First
Every line of code we write is designed with security as the primary concern. We use formal verification to mathematically prove correctness.
High Performance
We believe security shouldn't come at the cost of speed. Our implementations consistently outperform alternatives while maintaining rigorous security standards.
Post-Quantum Ready
We're preparing organizations for the quantum computing era with cutting-edge post-quantum cryptographic implementations.
Open Source
We believe in transparency. Our core libraries are open source, allowing the community to verify and build upon our work.
What We Do
Cryptography Research - We conduct cutting-edge research in cryptographic algorithms, developing novel optimizations and publishing peer-reviewed papers on post-quantum cryptography, symmetric ciphers, and zero-knowledge systems.
TLS Migration Assistance - We help organizations transition to modern TLS 1.3 and post-quantum secure communications, providing guidance and tooling for seamless migration.
Formal Verification - We use theorem proving and AI-assisted verification to mathematically guarantee the correctness of our implementations.
ZK Infrastructure - We're developing ZKIR, a novel instruction set architecture designed specifically for zero-knowledge proof systems.
Want to learn more?
Get in touch with our team to discuss how we can help secure your infrastructure.
Book a Meeting