Secure Messaging

7.2. PRF-PRNG from PRP and PRG🔗

Definition7.2.1
groupuses 1used by 1XL∃∀N

\todo

LeanLean anchor pending

uses Definition 7.1.1 · github #36

Theorem7.2.2
group
Statement uses 3
Statement dependency previews
Preview
Definition 7.1.1
Loading preview
Statement dependency preview content is loaded from the rendered-fragment cache.
used by 0XL∃∀N

\todo

LeanLean anchor pending

uses Definition 7.2.1 · Definition 7.1.1 · Definition 7.1.2 · github #37

References: