diff --git a/README.md b/README.md index 0462aebff2ca769d2963992893e2351f04b529e5..145a5c01f0d8a5e6218fa370522630cb8e302cd2 100644 --- a/README.md +++ b/README.md @@ -1,6 +1,8 @@ TAMARIN models ============== +[](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".