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
5.
Forward-Secure Authenticated Encryption with Associated Data
5.1.
Forward-Secure AEAD Definitions
5.2.
FS-AEAD from AEAD and PRG
Dependency Graph
Blueprint Summary
5.1.
Forward-Secure AEAD Definitions
←
5. Forward-Secure Authenticated Encryption with Associated Data
5.2. FS-AEAD from AEAD and PRG
→
5.1. Forward-Secure AEAD Definitions
🔗
Definition
5.1.1
group
uses 0
used by 8
Used by 8
Reverse dependency previews
Preview
Definition 5.1.2
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
#186
\todo
Lean
Lean anchor pending
Definition
5.1.2
group
uses 1
used by 1
X
L∃∀N
Lean status
No associated Lean code or declarations.
GitHub
#187
\todo
Lean
Lean anchor pending
←
5. Forward-Secure Authenticated Encryption with Associated Data
5.2. FS-AEAD from AEAD and PRG
→