Georgios Fotiadis, José Moreira, Thanassis Giannetsos, Liqun Chen 0002, Peter B. Rønne, Mark Ryan 0001, Peter Y. A. Ryan. Root-of-Trust Abstractions for Symbolic Analysis: Application to Attestation Protocols. In Rodrigo Roman, Jianying Zhou 0001, editors, Security and Trust Management - 17th International Workshop, STM 2021, Darmstadt, Germany, October 8, 2021, Proceedings. Volume 13075 of Lecture Notes in Computer Science, pages 163-184, Springer, 2021. [doi]
Abstract is missing.