[Verifpal] G vs. nil

Mike tankf33der at disroot.org
Tue Dec 1 14:55:23 CET 2020

hi all,

Try attached file - 
since unlinkability? does not respect keywords confidentiality? and freshness? should do the same.

-------------- next part --------------
A non-text attachment was scrubbed...
Name: t1.vp
Type: application/octet-stream
Size: 218 bytes
Desc: not available
URL: <https://lists.symbolic.software/pipermail/verifpal/attachments/20201201/e0e5146d/attachment.obj>

More information about the Verifpal mailing list