diff --git a/README.md b/README.md index db5742badbd4172a46a0ed81139cba96ffa337e7..39f5e9e57f47bf5ad89e10d70de53ad7b550e9a5 100644 --- a/README.md +++ b/README.md @@ -2,8 +2,8 @@ This repository contains the Tamarin models for the following paper: -Daniel Zelle, Dustin Kern, Timm Lauser, and Christoph Krauß. 2021. Analyz- -ing and Securing SOME/IP Automotive Services with Formal and Practical +Daniel Zelle, Dustin Kern, Timm Lauser, and Christoph Krauß. 2021. Analyzing +and Securing SOME/IP Automotive Services with Formal and Practical Methods. In *The 16th International Conference on Availability, Reliability and Security (ARES 2021), August 17–20, 2021, Vienna, Austria.* ACM, New York, NY, USA, 20 pages. https://doi.org/10.1145/3465481.3465748