Ben Smyth, Mark Dermot Ryan, Liqun Chen. Formal analysis of privacy in Direct Anonymous Attestation schemes. IACR Cryptology ePrint Archive, 2012:650, 2012. [doi]
@article{SmythRC12,
title = {Formal analysis of privacy in Direct Anonymous Attestation schemes},
author = {Ben Smyth and Mark Dermot Ryan and Liqun Chen},
year = {2012},
url = {http://eprint.iacr.org/2012/650},
researchr = {https://researchr.org/publication/SmythRC12},
cites = {0},
citedby = {0},
journal = {IACR Cryptology ePrint Archive},
volume = {2012},
pages = {650},
}