[Verifpal] PKE_ENC is broken

Angèle Bossuat abossuat at quarkslab.com
Fri Dec 11 10:23:39 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 ?


On 12/11/20 10:11 AM, Mike via Verifpal wrote:
> hi all,
> If you uncomment AEAD_ENC or ENC attacker can simply finds private text.
> PKE_ENC is another story and should be fixed.
> (mike)
> _______________________________________________
> Verifpal mailing list
> Verifpal at lists.symbolic.software
> https://lists.symbolic.software/mailman/listinfo/verifpal
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.symbolic.software/pipermail/verifpal/attachments/20201211/29fd5ea1/attachment.htm>

More information about the Verifpal mailing list