Jorden Whitefield, Liqun Chen, Ralf Sasse, Steve Schneider, Helen Treharne, Stephan Wesemeyer. A Symbolic Analysis of ECC-Based Direct Anonymous Attestation. In IEEE European Symposium on Security and Privacy, EuroS&P 2019, Stockholm, Sweden, June 17-19, 2019. pages 127-141, IEEE, 2019. [doi]
Abstract is missing.