Binding properties obtained by post-processing symmetric key, public key, and/or encapsulation using KDF (modeled as RO)#6

Merged

MM45 merged 3 commits intomainfrom KDF_Binding

Nov 26, 2024

+1,445-2

Commits on Nov 25, 2024

Additional generic binding proof (lemma 4.11) and postponing INDCCA proof KDF PP due to annoying oracle reasoning.
MM45
committed
Setup MALBIND K CT proof in case of post-processing K and CT through KDF.
MM45
committed

Commits on Nov 26, 2024

Finish binding of CT/PK by post-processing KEM encaps and decaps with KDF (modeled as RO)
MM45
committed