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]
Abstract is missing.