Let's Chat
Our initial audit of the Rust implementation of dWallet Labs' 2PC-MPC protocol.
A significant step forward in Symbolic Software's mission.
Wield the power of the ancient animal runes of Ardun!
We've updated Kyber-K2SO to address a variable timing logic issue.
Symbolic Software continues its support for the IACR Real World Cryptography Symposium.
One year of revenue from our game will go directly to help victims in Gaza.
An address to France's law enforcement officials on Internet surveillance policy in France.
Our extensive audit for the Native Labs smart contracts.
Understanding Verifpal's relationship with cryptographic protocol security.
Towards new queries, automated model translation and formalized semantics in Verifpal.
How Verifpal sped up the formal modeling efforts for a new pandemic-tracing Protocol.