Security Announcement: Variable Timing Issue in Kyber Code
We've updated Kyber-K2SO to address a variable timing logic issue.
3 min readBlog
Audit reports, security advisories, software releases, research, and essays.
Supporting Real World Crypto 2024
Symbolic Software is sponsoring the IACR Real World Cryptography Symposium for the sixth consecutive year.
1 min readAddress to French Law Enforcement Officials
An address to France's law enforcement officials on Internet surveillance policy in France.
10 min readNative Labs Smart-Contract Audit
The public report from our review of the Native Labs smart contracts.
1 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