Security Announcement: Variable Timing Issue in Kyber Code
We've updated Kyber-K2SO to address a variable timing logic issue.
3 min readFrom the lab.
Insights from our audit practice, software releases, and applied cryptography research. Updated whenever we publish.
Supporting 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 read