From 5ff1807ca946ec45cde3b9ea8ee958ea908e4554 Mon Sep 17 00:00:00 2001
From: Jorden Whitefield <jorden.whitefield@googlemail.com>
Date: Tue, 25 Jun 2019 13:28:37 +0300
Subject: [PATCH] Zenodo DOI

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

diff --git a/README.md b/README.md
index 0462aeb..145a5c0 100644
--- a/README.md
+++ b/README.md
@@ -1,6 +1,8 @@
 TAMARIN models
 ==============
 
+[![DOI](https://zenodo.org/badge/193686035.svg)](https://zenodo.org/badge/latestdoi/193686035)
+
 This is the README for the Tamarin files associated with my
 thesis "Formal Analysis and Applications of Direct Anonymous
 Attestation".
-- 
GitLab