A Symbolic Analysis of ECC-Based Direct Anonymous Attestation

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]

Authors

Jorden Whitefield

This author has not been identified. Look up 'Jorden Whitefield' 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

Steve Schneider

This author has not been identified. Look up 'Steve Schneider' in Google

Helen Treharne

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

Stephan Wesemeyer

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