Secure Messaging
Secure Messaging
Top page
Table of Contents
1.
Overview
Dependency Graph
Blueprint Summary
2.
Authenticated Encryption with Associated Data
3.
Continuous Key Agreement
4.
Erasure Codes
5.
Forward-Secure Authenticated Encryption with Associated Data
6.
Key Encapsulation Mechanism
7.
Pseudorandom Function and Generator
8.
Ratcheting Key Encapsulation Mechanism
9.
Sparse Continuous Key Agreement
10.
Secure Messaging
Blueprint Bibliography
7.
Pseudorandom Function and Generator
7.1.
PRF-PRNG Definitions
7.2.
Pseudorandom Permutations
7.3.
PRF-PRNG from PRP and PRG
Dependency Graph
Blueprint Summary
7.1.
PRF-PRNG Definitions
←
7. Pseudorandom Function and Generator
7.2. Pseudorandom Permutations
→
7.1. PRF-PRNG Definitions
🔗
Definition
7.1.1
group
uses 0
used by 9
Used by 9
Reverse dependency previews
Preview
Definition 5.2.1
Loading preview
Reverse dependency preview content is loaded from the rendered-fragment cache.
X
L∃∀N
Lean status
No associated Lean code or declarations.
GitHub
#188
\todo
Lean
Lean anchor pending
Definition
7.1.2
group
uses 1
used by 2
Used by 2
Reverse dependency previews
Preview
Theorem 5.2.3
Loading preview
Reverse dependency preview content is loaded from the rendered-fragment cache.
X
L∃∀N
Lean status
No associated Lean code or declarations.
GitHub
#189
\todo
Lean
Lean anchor pending
←
7. Pseudorandom Function and Generator
7.2. Pseudorandom Permutations
→