@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}
}