[Verifpal] Key Encapsulation Mechanism Primitive

[Friedrich Wiemer]

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