@inproceedings{DBLP:conf/ccs/WesemeyerNTCSW20, author = {Stephan Wesemeyer and Christopher J. P. Newton and Helen Treharne and Liqun Chen and Ralf Sasse and Jorden Whitefield}, title = {Formal Analysis and Implementation of a {TPM} 2.0-based Direct Anonymous Attestation Scheme}, booktitle = {{ASIA} {CCS} '20: The 15th {ACM} Asia Conference on Computer and Communications Security, Taipei, Taiwan, October 5-9, 2020}, pages = {784--798}, year = {2020}, crossref = {DBLP:conf/ccs/2020asia}, url = {https://doi.org/10.1145/3320269.3372197}, doi = {10.1145/3320269.3372197}, timestamp = {Tue, 13 Oct 2020 16:07:41 +0200}, biburl = {https://dblp.org/rec/conf/ccs/WesemeyerNTCSW20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @proceedings{DBLP:conf/ccs/2020asia, editor = {Hung{-}Min Sun and Shiuh{-}Pyng Shieh and Guofei Gu and Giuseppe Ateniese}, title = {{ASIA} {CCS} '20: The 15th {ACM} Asia Conference on Computer and Communications Security, Taipei, Taiwan, October 5-9, 2020}, publisher = {{ACM}}, year = {2020}, url = {https://doi.org/10.1145/3320269}, doi = {10.1145/3320269}, isbn = {978-1-4503-6750-9}, timestamp = {Tue, 13 Oct 2020 15:39:36 +0200}, biburl = {https://dblp.org/rec/conf/ccs/2020asia.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }