Logo image
Open Research University homepage
Surrey researchers Sign in
A Symbolic Analysis of ECC-based Direct Anonymous Attestation
Conference presentation   Open access

A Symbolic Analysis of ECC-based Direct Anonymous Attestation

Jorden Whitefield, Liqun Chen, Ralf Sasse, Steve Schneider, Helen Treharne and Stephan Wesemeyer
Proceedings of the 4th IEEE European Symposium on Security and Privacy
Institute of Electrical and Electronics Engineers (IEEE)
4th IEEE European Symposium on Security and Privacy (Stockholm, Sweden, 17/06/2019–19/06/2019)
17/06/2019

Abstract

Direct Anonymous Attestation; Symbolic verification; TAMARIN PROVER; Authentication; Secrecy
pdf
A Symbolic Analysis of ECC-based Direct Anonymous Attestation474.96 kBDownloadView
Text Open Access
url
https://www.ieee-security.org/TC/EuroSP2019/index.phpView
Organisation

Metrics

Details

Logo image

Usage Policy