Formal Analysis and Implementation of a TPM 2.0-based Direct Anonymous Attestation Scheme

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]

Authors

Stephan Wesemeyer

This author has not been identified. Look up 'Stephan Wesemeyer' in Google

Christopher J. P. Newton

This author has not been identified. Look up 'Christopher J. P. Newton' in Google

Helen Treharne

This author has not been identified. Look up 'Helen Treharne' in Google

Liqun Chen

This author has not been identified. Look up 'Liqun Chen' in Google

Ralf Sasse

This author has not been identified. Look up 'Ralf Sasse' in Google

Jorden Whitefield

This author has not been identified. Look up 'Jorden Whitefield' in Google