Let's Chat
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.