[Verifpal] Concatenate values

Nadim Kobeissi nadim at symbolic.software
Sat Feb 29 14:20:31 CET 2020

Dear Friedrich,

Your wish is my command. Please review the following commit notes:

Nadim Kobeissi
Symbolic Software • https://symbolic.software
Sent from office

On Fri, Feb 28, 2020 at 10:42 PM Friedrich Wiemer via Verifpal
<verifpal at lists.symbolic.software> wrote:

> Hi,
> 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?
> Best,
> Friedrich
> _______________________________________________
> Verifpal mailing list
> Verifpal at lists.symbolic.software
> https://lists.symbolic.software/mailman/listinfo/verifpal
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.symbolic.software/pipermail/verifpal/attachments/20200229/2ca11eca/attachment.htm>

More information about the Verifpal mailing list