[Verifpal] Key Encapsulation Mechanism Primitive

Nadim Kobeissi nadim at symbolic.software
Tue Oct 20 22:48:01 CEST 2020


Hi Friedrich,

100%! You read my mind: I am currently working on adding KEM primitives to
Verifpal and this should be announced in the coming weeks.

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


On Tue, Oct 20, 2020 at 10:14 PM Friedrich Wiemer via Verifpal
<verifpal at lists.symbolic.software> wrote:

> Hi Nadim,
>
> After watching your very nice ACM CCSW promotion video for verifpal I feel
> inclined to model some post quantum adjusted protocols 😉
> However, if I see this correctly, verifpal does not currently support key
> encapsulation mechanisms. Is it possible to add this?
> As it seems that NIST goes for KEM standardizations much more than for
> PQ-PKE ones, it would be nice to have a KEM primitive.
>
> Best,
> Friedrich
>
> --
> Dr. Friedrich Wiemer,
> orcid.org/0000-0003-2998-6777
>
>
>
> _______________________________________________
> 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/20201020/0bad7620/attachment.htm>


More information about the Verifpal mailing list