[Verifpal] PKE_ENC is broken

Mike tankf33der at disroot.org
Fri Dec 11 11:23:20 CET 2020

> I'm not sure I understand the problem, you encrypted "text" with a symmetric primitive (AEAD/ENC) and gave the attacker the key (PK), so it's normal that "text" is recovered

Yes, this is normal. 
Email is about PKE_ENC issue and i am expecting recover here too. 


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.symbolic.software/pipermail/verifpal/attachments/20201211/03497507/attachment.htm>

More information about the Verifpal mailing list