[Verifpal] Concatenate values

Friedrich Wiemer friedrich.wiemer at rub.de
Fri Feb 28 22:42:18 CET 2020


on my way to implement a verifpal model for the Needham-Schoeder
protocol, I now need to encrypt a message containing of several parts,
i.e. I would like to do something like the following:

> e1 = AEAD_ENC(key, plain1, plain2, plain3, plain4, nil)
> p1, p2, p3, p4 = AEAD_DEC(key, e1, nil)?

Is there a way to achieve this? I would expect that some sort of
concatenation/splitting of constants is needed?

-------------- 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/20200228/563a0d88/attachment.sig>

More information about the Verifpal mailing list