[Verifpal] Key Encapsulation Mechanism Primitive

Friedrich Wiemer friedrich.wiemer at rub.de
Tue Oct 20 22:14:56 CEST 2020

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.


Dr. Friedrich Wiemer,

More information about the Verifpal mailing list