[Verifpal] Concatenate values

Friedrich Wiemer friedrich.wiemer at rub.de
Mon Mar 2 19:46:11 CET 2020

Dear Nadim,

yes, with the new version the example now works as expected.


On Sun, Mar 01, 2020 at 03:15:55PM +0100, Nadim Kobeissi wrote:
> Dear Friedrich,
> This was being caused by Verifpal being too overbearing with certain checks.
> Verifpal 0.11.7, which will be pushed in a few moments, will resolve this
> issue. Please update and try again.
> Nadim Kobeissi
> Symbolic Software • https://symbolic.software
> Sent from office

Dr. Friedrich Wiemer,
Research Assistant

Symmetric Cryptography
Horst Goertz Institute for IT-Security,
Ruhr-University Bochum,

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 488 bytes
Desc: not available
URL: <https://lists.symbolic.software/pipermail/verifpal/attachments/20200302/16333b2f/attachment.sig>

More information about the Verifpal mailing list