Stephan Wesemeyer, Christopher J. P. Newton, Helen Treharne, Liqun Chen, Ralf Sasse, Jorden Whitefield. Formal Analysis and Implementation of a TPM 2.0-based Direct Anonymous Attestation Scheme. In Hung-Min Sun, Shiuh-Pyng Shieh, Guofei Gu, Giuseppe Ateniese, editors, ASIA CCS '20: The 15th ACM Asia Conference on Computer and Communications Security, Taipei, Taiwan, October 5-9, 2020. pages 784-798, ACM, 2020. [doi]
@inproceedings{WesemeyerNTCSW20,
title = {Formal Analysis and Implementation of a TPM 2.0-based Direct Anonymous Attestation Scheme},
author = {Stephan Wesemeyer and Christopher J. P. Newton and Helen Treharne and Liqun Chen and Ralf Sasse and Jorden Whitefield},
year = {2020},
doi = {10.1145/3320269.3372197},
url = {https://doi.org/10.1145/3320269.3372197},
researchr = {https://researchr.org/publication/WesemeyerNTCSW20},
cites = {0},
citedby = {0},
pages = {784-798},
booktitle = {ASIA CCS '20: The 15th ACM Asia Conference on Computer and Communications Security, Taipei, Taiwan, October 5-9, 2020},
editor = {Hung-Min Sun and Shiuh-Pyng Shieh and Guofei Gu and Giuseppe Ateniese},
publisher = {ACM},
isbn = {978-1-4503-6750-9},
}