Secure Messaging

Secure Messaging

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

1. Overview

← Secure Messaging Dependency Graph→

1. Overview🔗

The goal of this project is to provide machine-checked proofs of correctness and security properties for cryptographic messaging protocols.

← Secure Messaging Dependency Graph→