[Verifpal] PKE_ENC is broken

Mike tankf33der at disroot.org
Fri Dec 11 10:11:39 CET 2020


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)
-------------- next part --------------
A non-text attachment was scrubbed...
Name: pke_enc.vp
Type: application/octet-stream
Size: 266 bytes
Desc: not available
URL: <https://lists.symbolic.software/pipermail/verifpal/attachments/20201211/558e6762/attachment.obj>


More information about the Verifpal mailing list