Joshua D. Guttman, John D. Ramsdell. Understanding Attestation: Analyzing Protocols that Use Quotes. In Sjouke Mauw, Mauro Conti, editors, Security and Trust Management - 15th International Workshop, STM 2019, Luxembourg City, Luxembourg, September 26-27, 2019, Proceedings. Volume 11738 of Lecture Notes in Computer Science, pages 89-106, Springer, 2019. [doi]
Abstract is missing.