From e7142e7f0e1a2295891e11ce68c6be3cf2f33b41 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Christoph=20Krau=C3=9F?= <5630-c.krauss@users.noreply.code.fbi.h-da.de> Date: Thu, 7 Nov 2024 13:56:57 +0000 Subject: [PATCH] Update file README.md --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index a4814db..b08bd3c 100644 --- a/README.md +++ b/README.md @@ -1,6 +1,6 @@ # SSI-PnC-Tamarin -This repository provides the Tamarin models for the paper "Self-Sovereign Identity for Electric Vehicle Charging" which is currently under review. +This repository provides the Tamarin models for the paper [Self-Sovereign Identity for Electric Vehicle Charging](https://link.springer.com/chapter/10.1007/978-3-031-54776-8_6). In the paper, we propose a solution for the integration of Self-Sovereign Identities (SSI) to the existing Plug and Charge (PnC) architecture. Here, we provide the Tamarin models we use for formal verification of the security and privacy of our proposed solution. -- GitLab