[Verifpal] PKE_ENC is broken

Mike tankf33der at disroot.org
Fri Dec 11 15:19:54 CET 2020

hi all,

> It seems that Angèle is correct and that this does not appear to be a bug. When encrypting using
> AEAD_ENC or ENC, you are using PK as the secret key in a symmetric cipher.

I saw twice G^key in this line, sometimes it happens:

PKE_DEC(key, PKE_ENC(G^key, plaintext)): plaintext


More information about the Verifpal mailing list