3 stories from 1 submitter
  1. 12
    One Year of Verifpal: Understanding Verifpal’s Relationship With Cryptographic Protocol Security cryptography formalmethods blog.symbolic.software
    nadim avatar authored by nadim 1 year ago | cached | 2 comments
  2. 3
    Towards Freshness Queries, Unlinkability Queries, Automated Model Translation and Formalized Semantics in Verifpal cryptography formalmethods blog.symbolic.software
    nadim avatar authored by nadim 1 year ago | cached | 2 comments
  3. 9
    How Verifpal Dramatically Sped Up the Formal Modeling Efforts for a New Pandemic-Tracing Protocol cryptography formalmethods privacy blog.symbolic.software
    nadim avatar authored by nadim 1 year ago | cached | no comments