Our findings from our latest extensive audit for the Native Labs smart contracts.
Understanding Verifpal's Relationship With Cryptographic Protocol Security
Towards Freshness Queries, Unlinkability Queries, Automated Model Translation and Formalized Semantics in Verifpal
How Verifpal Dramatically Sped Up the Formal Modeling Efforts for a New Pandemic-Tracing Protocol