Native Labs Smart-Contract Audit
The public report from our review of the Native Labs smart contracts.
1 min readWriting.
Audit reports, security advisories, software releases, research, and essays.
One 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