[Verifpal] One Year of Verifpal: Understanding Verifpal’s Relationship With Cryptographic Protocol Security

Nadim Kobeissi nadim at symbolic.software
Wed Sep 2 12:53:06 CEST 2020


Hello everyone,

Sharing this important post to mark Verifpal's one-year anniversary.

https://blog.symbolic.software/2020/09/02/one-year-of-verifpal-understanding-verifpals-relationship-with-cryptographic-protocol-security/

Nadim Kobeissi
Symbolic Software • https://symbolic.software
Sent from office
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.symbolic.software/pipermail/verifpal/attachments/20200902/f6fc4f58/attachment.htm>


More information about the Verifpal mailing list