[Verifpal] Renaming HMACVERIF to ASSERT (was: VerifPal 0.5)
Michiel Leenaars
michiel.ml at nlnet.nl
Mon Sep 9 15:47:38 CEST 2019
Hi Nadim,
that was quick. Just a reminder that the manual has several references as
well...
Best,
Michiel
More information about the Verifpal
mailing list