[Verifpal] Towards Freshness Queries, Unlinkability Queries, Automated Model Translation and Formalized Semantics in Verifpal

Nadim Kobeissi nadim at symbolic.software
Tue Apr 14 06:41:21 CEST 2020

Hello everyone,

I strongly encourage you to review this very exciting new Verifpal blog post:
https://blog.symbolic.software/2020/04/14/freshness-unlinkability-model-semantics-verifpal/ <https://blog.symbolic.software/2020/04/14/freshness-unlinkability-model-semantics-verifpal/>

Comments welcome here as replies to this thread.

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/20200414/57cdb72d/attachment.htm>

More information about the Verifpal mailing list