Lobsters
- One Year of Verifpal: Understanding Verifpal’s Relationship With Cryptographic Protocol Security https://blog.symbolic.software/2020/09/02/one-year-of-verifpal-understanding-verifpals-relationship-with-cryptographic-protocol-security/ 2 comments cryptography , formalmethods
- Towards Freshness Queries, Unlinkability Queries, Automated Model Translation and Formalized Semantics in Verifpal https://blog.symbolic.software/2020/04/14/freshness-unlinkability-model-semantics-verifpal/ 2 comments cryptography , formalmethods