Skip to content

Commit

Permalink
Binding properties obtained by post-processing symmetric key, public …
Browse files Browse the repository at this point in the history 
…key, and/or encapsulation using KDF (modeled as RO) (#6)

* Additional generic binding proof (lemma 4.11) and postponing INDCCA proof KDF PP due to annoying oracle reasoning.

* Binding of CT/PK by post-processing KEM encaps and decaps with KDF (modeled as RO)
  • Loading branch information
@MM45
MM45 authored Nov 26, 2024
1 parent 05e52db commit e080551
Show file tree
Hide file tree
Showing 5 changed files with 1,445 additions and 2 deletions.
Loading

0 comments on commit e080551

Please sign in to comment.