Formal Analysis and Implementation of a TPM 2.0-based Direct Anonymous Attestation Scheme
- Submitting institution
-
The University of Surrey
- Unit of assessment
- 11 - Computer Science and Informatics
- Output identifier
- 9006196_3
- Type
- E - Conference contribution
- DOI
-
10.1145/3320269.3372197
- Title of conference / published proceedings
- Proceedings of the 15th ACM Asia Conference on Computer and Communications Security
- First page
- 784
- Volume
- -
- Issue
- -
- ISSN
- -
- Open access status
- -
- Month of publication
- -
- Year of publication
- 2020
- URL
-
-
- Supplementary information
-
-
- Request cross-referral to
- -
- Output has been delayed by COVID-19
- No
- COVID-19 affected output statement
- -
- Forensic science
- No
- Criminology
- No
- Interdisciplinary
- No
- Number of additional authors
-
-
- Research group(s)
-
-
- Citation count
- -
- Proposed double-weighted
- No
- Reserve for an output with double weighting
- No
- Additional information
- This paper provides a formal analysis of an ISO standardised direct anonymous attestation scheme based on elliptic curves (ECC-DAA). The significance of the analysis is that is it at the level of implementation messages. The analysed models are available to enable reproducibility of the results. The reference implementation has been used in the Future TPM H2020 project (779391) as the basis for preserving anonymity in a healthcare wearable application. The implementation has also been used by its authors as a basis in further refinements of the DAA algorithm to improve its efficiency and published in Transactions in Information Security.
- Author contribution statement
- -
- Non-English
- No
- English abstract
- -