From ee19a7a6360987c41848419ab543954990745b26 Mon Sep 17 00:00:00 2001
From: Deirdre Connolly <durumcrustulum@gmail.com>
Date: Tue, 19 Nov 2024 13:52:24 -0500
Subject: [PATCH] Add some more text to the readme

---
 README.md | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/README.md b/README.md
index 26c0b83..7f70033 100644
--- a/README.md
+++ b/README.md
@@ -1,2 +1,10 @@
 # Modeling Key Encapsulation Mechanisms in EasyCrypt
 
+EasyCrypt library that generically defines Key Encapsulation Mechanisms
+(KEMs), Public-Key Encryption (PKE) schemes, and their properties (both
+correctness and security), including the Random Oracle Model (ROM).  For
+convenience, it also provides some sensible defaults, particularly for
+oracles.  Most of the content is based on relevant literature.
+
+Includes generic instantiations of KEMs based on variation of the
+Fujisaki-Okamoto transform.