Update README

README.md

@@ -1,2 +1,10 @@
-# coniks-spec
-CONIKS design documents
+# CONIKS Design Documents
+
+http://coniks.org
+
+The documents in this repo provide formal design specifications for the various
+component of the CONIKS system.
+
+The original [design document](https://www.usenix.org/system/files/conference/usenixsecurity15/sec15-paper-melara.pdf) (published at USENIX Security 2015)
+provides a high-level description of the data structures and protocols
+underlying CONIKS.