Conference paper Open Access

A Symbolic Analysis of ECC-Based Direct Anonymous Attestation

Whitefield, Jorden; Chen, Liqun; Sasse,Ralf; Schneider, Steve; Treharne, Helen; Wesemeyer, Stephan


DataCite XML Export

<?xml version='1.0' encoding='utf-8'?>
<resource xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns="http://datacite.org/schema/kernel-4" xsi:schemaLocation="http://datacite.org/schema/kernel-4 http://schema.datacite.org/meta/kernel-4.1/metadata.xsd">
  <identifier identifierType="URL">https://zenodo.org/record/3380004</identifier>
  <creators>
    <creator>
      <creatorName>Whitefield, Jorden</creatorName>
      <givenName>Jorden</givenName>
      <familyName>Whitefield</familyName>
    </creator>
    <creator>
      <creatorName>Chen, Liqun</creatorName>
      <givenName>Liqun</givenName>
      <familyName>Chen</familyName>
    </creator>
    <creator>
      <creatorName>Sasse,Ralf</creatorName>
      <givenName>Ralf</givenName>
      <familyName>Sasse</familyName>
    </creator>
    <creator>
      <creatorName>Schneider, Steve</creatorName>
      <givenName>Steve</givenName>
      <familyName>Schneider</familyName>
    </creator>
    <creator>
      <creatorName>Treharne, Helen</creatorName>
      <givenName>Helen</givenName>
      <familyName>Treharne</familyName>
    </creator>
    <creator>
      <creatorName>Wesemeyer, Stephan</creatorName>
      <givenName>Stephan</givenName>
      <familyName>Wesemeyer</familyName>
    </creator>
  </creators>
  <titles>
    <title>A Symbolic Analysis of ECC-Based Direct Anonymous Attestation</title>
  </titles>
  <publisher>Zenodo</publisher>
  <publicationYear>2019</publicationYear>
  <dates>
    <date dateType="Issued">2019-07-19</date>
  </dates>
  <language>en</language>
  <resourceType resourceTypeGeneral="Text">Conference paper</resourceType>
  <alternateIdentifiers>
    <alternateIdentifier alternateIdentifierType="url">https://zenodo.org/record/3380004</alternateIdentifier>
  </alternateIdentifiers>
  <relatedIdentifiers>
    <relatedIdentifier relatedIdentifierType="DOI" relationType="IsIdenticalTo">10.1109/eurosp.2019.00019</relatedIdentifier>
  </relatedIdentifiers>
  <rightsList>
    <rights rightsURI="https://creativecommons.org/licenses/by/4.0/legalcode">Creative Commons Attribution 4.0 International</rights>
    <rights rightsURI="info:eu-repo/semantics/openAccess">Open Access</rights>
  </rightsList>
  <descriptions>
    <description descriptionType="Abstract">&lt;p&gt;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&amp;rsquo;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 of work demonstrating the use of formal tools in supporting standardisation processes for cryptographic protocols.&lt;/p&gt;</description>
  </descriptions>
  <fundingReferences>
    <fundingReference>
      <funderName>European Commission</funderName>
      <funderIdentifier funderIdentifierType="Crossref Funder ID">10.13039/501100000780</funderIdentifier>
      <awardNumber awardURI="info:eu-repo/grantAgreement/EC/H2020/779391/">779391</awardNumber>
      <awardTitle>Future Proofing the Connected World: A Quantum-Resistant Trusted Platform Module</awardTitle>
    </fundingReference>
  </fundingReferences>
</resource>
57
44
views
downloads
Views 57
Downloads 44
Data volume 21.4 MB
Unique views 55
Unique downloads 40

Share

Cite as