From the blog.

Insights on cryptography, security research, and software engineering from Symbolic Software.

April 14, 2020
Better Queries for Verifpal

Towards new queries, automated model translation and formalized semantics in Verifpal.
April 5, 2020
Modeling DP-3T With Verifpal

How Verifpal sped up the formal modeling efforts for a new pandemic-tracing Protocol.