On Tue, Oct 20, 2020 at 10:14 PM Friedrich Wiemer via Verifpal <email@example.com> wrote:
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,
Verifpal mailing list