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.
