Formal analysis of privacy in Direct Anonymous Attestation schemes

Ben Smyth, Mark Dermot Ryan, Liqun Chen. Formal analysis of privacy in Direct Anonymous Attestation schemes. IACR Cryptology ePrint Archive, 2012:650, 2012. [doi]

Abstract

Abstract is missing.