Runes of Ardun: Symbolic Software's Latest Strategy Board Game
Wield the power of the ancient animal runes of Ardun!
From the blog.
Insights on cryptography, security research, and software engineering from Symbolic Software.
-
-
Security Announcement: Variable Timing Issue in Kyber Code
We've updated Kyber-K2SO to address a variable timing logic issue.
-
Supporting Real World Crypto 2024
Symbolic Software continues its support for the IACR Real World Cryptography Symposium.
-
Address to French Law Enforcement Officials
An address to France's law enforcement officials on Internet surveillance policy in France.
-
Native Labs: Audit Report
Our extensive audit for the Native Labs smart contracts.
-
One Year of Verifpal
Understanding Verifpal's relationship with cryptographic protocol security.