Modeling and analyzing the Corona-virus warning app with the Isabelle infrastructure framework
Conference paper
Kammueller, F. and Lutz, B. 2020. Modeling and analyzing the Corona-virus warning app with the Isabelle infrastructure framework. Garcia-Alfaro, J., Navarro-Arribas, G. and Herrera-Joancomarti, J. (ed.) International Workshop of Data Privacy Management, DPM'20. University of Surrey, UK 17 - 18 Sep 2020 Springer. pp. 128-144 https://doi.org/10.1007/978-3-030-66172-4_8
Type | Conference paper |
---|---|
Title | Modeling and analyzing the Corona-virus warning app with the Isabelle infrastructure framework |
Authors | Kammueller, F. and Lutz, B. |
Abstract | We provide a model in the Isabelle Infrastructure framework of the recently published German Corona-virus warning app (CWA). The app supports breaking infection chains by informing users whether they have been in close contact to an infected person. The app has a decentralized architecture that supports anonymity of users. We provide a formal model of the existing app with the Isabelle Infrastructure framework to show up some natural attacks in a very abstract model. We then use the security refinement process of the Isabelle Infrastructure framework to highlight how the use of continuously changing Ephemeral Ids (EphIDs) improves the anonymity. |
Conference | International Workshop of Data Privacy Management, DPM'20 |
Page range | 128-144 |
Editors | Garcia-Alfaro, J., Navarro-Arribas, G. and Herrera-Joancomarti, J. |
ISSN | 0302-9743 |
Electronic | 1611-3349 |
ISBN | |
Paperback | 9783030661717 |
Electronic | 9783030661724 |
Publisher | Springer |
Publication dates | |
17 Sep 2020 | |
Online | 29 Dec 2020 |
Publication process dates | |
Deposited | 11 Sep 2020 |
Submitted | 20 Jul 2020 |
Accepted | 20 Aug 2020 |
Output status | Published |
Accepted author manuscript | |
Copyright Statement | The final authenticated version is available online at https://doi.org/10.1007/978-3-030-66172-4_8 |
Additional information | International Workshop of Data Privacy Management DPM'20 - co-located with ESORICS'20 |
Digital Object Identifier (DOI) | https://doi.org/10.1007/978-3-030-66172-4_8 |
Language | English |
Book title | Data Privacy Management, Cryptocurrencies and Blockchain Technology: ESORICS 2020 International Workshops, DPM 2020 and CBT 2020, Guildford, UK, September 17–18, 2020, Revised Selected Papers |
https://repository.mdx.ac.uk/item/89114
Download files
45
total views16
total downloads1
views this month0
downloads this month