Modeling DP-3T With Verifpal
How Verifpal sped up the formal modeling efforts for a new pandemic-tracing Protocol.
8 min readFrom the lab.
Insights from our audit practice, software releases, and applied cryptography research. Updated whenever we publish.