[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.
Best,
Friedrich
--
Dr. Friedrich Wiemer,
orcid.org/0000-0003-2998-6777
More information about the Verifpal
mailing list