publication . Other literature type . Conference object . Part of book or chapter of book . 2019 . Embargo end date: 01 Jan 2019

A Symbolic Analysis of ECC-Based Direct Anonymous Attestation

Jorden Whitefield;
Open Access English
  • Published: 17 Jun 2019
  • Publisher: ETH Zurich
Abstract
Direct Anonymous Attestation (DAA) is a cryptographic scheme that provides Trusted Platform Module (TPM)- backed anonymous credentials. We develop TAMARIN modelling of the ECC-based version of the protocol as it is standardised and provide the first mechanised analysis of this standard. Our analysis confirms that the scheme is secure when all TPMs are assumed honest, but reveals a break in the protocol’s expected authentication and secrecy properties for all TPMs even if only one is compromised. We propose and formally verify a minimal fix to the standard. In addition to developing the first formal analysis of ECC-DAA, the paper contributes to the growing body o...
Subjects
free text keywords: Direct Anonymous Attestation; symbolic verification; TAMARIN PROVER; authentication; secrecy, Direct Anonymous Attestation, symbolic verification, TAMARIN PROVER, authentication, secrecy, Cryptographic protocol, Computer science, Symbolic data analysis, Cryptography, business.industry, business, Trusted Platform Module, Computer network
Funded by
EC| FutureTPM
Project
FutureTPM
Future Proofing the Connected World: A Quantum-Resistant Trusted Platform Module
  • Funder: European Commission (EC)
  • Project Code: 779391
  • Funding stream: H2020 | RIA
Download fromView all 7 versions
ETH Zürich Research Collection
Other literature type . 2019
Provider: Datacite
ZENODO
Conference object . 2019
Provider: ZENODO
Research Collection
Part of book or chapter of book . 2019
Powered by OpenAIRE Open Research Graph
Any information missing or wrong?Report an Issue
publication . Other literature type . Conference object . Part of book or chapter of book . 2019 . Embargo end date: 01 Jan 2019

A Symbolic Analysis of ECC-Based Direct Anonymous Attestation

Jorden Whitefield;