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

Browse the full CCS paper archive.