Kyber-K2SO 1.0: Now Implementing ML-KEM
Kyber-K2SO version 1.0 upgrades from Kyber v3 to ML-KEM, the NIST-standardized post-quantum key encapsulation mechanism.
4 min readFrom the lab.
Insights from our audit practice, software releases, and applied cryptography research. Updated whenever we publish.
2PC-MPC in Rust: Audit Report
Our initial audit of the Rust implementation of dWallet Labs' 2PC-MPC protocol.
2 min readSecurity Announcement: Variable Timing Issue in Kyber Code
We've updated Kyber-K2SO to address a variable timing logic issue.
3 min readSupporting Real World Crypto 2024
Symbolic Software continues its support for the IACR Real World Cryptography Symposium.
1 min readAddress to French Law Enforcement Officials
An address to France's law enforcement officials on Internet surveillance policy in France.
11 min readNative Labs: Audit Report
Our extensive audit for the Native Labs smart contracts.
2 min readOne Year of Verifpal
Understanding Verifpal's relationship with cryptographic protocol security.
5 min readBetter Queries for Verifpal
Towards new queries, automated model translation and formalized semantics in Verifpal.
6 min readModeling DP-3T With Verifpal
How Verifpal sped up the formal modeling efforts for a new pandemic-tracing Protocol.
8 min read