From 26ce1b6147c316a1be4fe00d42bd07c174ca6e3c Mon Sep 17 00:00:00 2001
From: "Achim D. Brucker" <adbrucker@0x5f.org>
Date: Thu, 31 Dec 2020 10:34:15 +0000
Subject: [PATCH] Added DOI for CSF paper.

---
 README.md | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/README.md b/README.md
index 8ae0ad3..1e8895e 100644
--- a/README.md
+++ b/README.md
@@ -22,15 +22,15 @@ project (including its source code) is available in the AFP:
   Schlichtkrull. Automated Stateful Protocol Verification. In Archive 
   of Formal Proofs, 2020. 
   <http://www.isa-afp.org/entries/Automated_Stateful_Protocol_Verification.html>, 
-  Formal proof development
+  Formal proof development.
 
 The following publication provides a more abstract description of the
 underlying theory:
 
 * Andreas V. Hess, Sebastian Mödersheim, Achim D. Brucker, and Anders
   Schlichtkrull. Performing Security Proofs of Stateful Protocols. In
-  34th IEEE Computer Security Foundations Symposium (CSF). , IEEE,
-  2021.
+  34th IEEE Computer Security Foundations Symposium (CSF). IEEE,
+  2021. [doi:10.1109/CSF51468.2021.00006](https://doi.org/10.1109/CSF51468.2021.00006).
   https://www.brucker.ch/bibliography/abstract/brucker.ea-web-components-2019