Formal Analysis and Implementation of a TPM 2.0-based Direct Anonymous Attestation Scheme
-
Wesemeyer, Stephan
University of Surrey, Guildford, United Kingdom
-
Newton, Christopher J.P.
University of Surrey, Guildford, United Kingdom
-
Treharne, Helen
University of Surrey, Guildford, United Kingdom
-
Chen, Liqun
University of Surrey, Guildford, United Kingdom
-
Sasse, Ralf
ETH Zurich, Zurich, Switzerland
-
Whitefield, Jorden
Ericsson AB, Helsinki, Finland
Show more…
Published in:
- Proceedings of the 15th ACM Asia Conference on Computer and Communications Security. - ACM. - 2020
-
Language
-
-
Open access status
-
bronze
-
Identifiers
-
-
Persistent URL
-
https://sonar.ch/global/documents/24499
Statistics
Document views: 48
File downloads: