Items where Author / Artist / Editor is "Garcia-Alfaro, Joaquin"

See full list of headings
Export as [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 1.

Conference or Workshop Item

Kammueller, Florian ORCID logoORCID: and Lutz, Bianca (2020) Modeling and analyzing the Corona-virus warning app with the Isabelle infrastructure framework. Garcia-Alfaro, Joaquin, Navarro-Arribas, Guillermo and Herrera-Joancomarti, Jordi, eds. 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. In: International Workshop of Data Privacy Management, DPM'20, 17-18 Sep 2020, University of Surrey, UK. pbk-ISBN 9783030661717, e-ISBN 9783030661724. ISSN 0302-9743 [Conference or Workshop Item] (doi:10.1007/978-3-030-66172-4_8)

This list was generated on Sat Feb 4 06:07:51 2023 GMT.