Better Queries for Verifpal
Towards new queries, automated model translation and formalized semantics in Verifpal.
6 min readFrom the lab.
Insights from our audit practice, software releases, and applied cryptography research. Updated whenever we publish.
Modeling DP-3T With Verifpal
How Verifpal sped up the formal modeling efforts for a new pandemic-tracing Protocol.
8 min read