One Year of Verifpal
Understanding Verifpal's relationship with cryptographic protocol security.
5 min readFrom the blog.
Insights on cryptography, security research, and software engineering from Symbolic Software.
Let's Chat
Let's Chat
Insights on cryptography, security research, and software engineering from Symbolic Software.
Understanding Verifpal's relationship with cryptographic protocol security.
5 min readTowards new queries, automated model translation and formalized semantics in Verifpal.
6 min readHow Verifpal sped up the formal modeling efforts for a new pandemic-tracing Protocol.
8 min read