Root-of-Trust Abstractions for Symbolic Analysis: Application to Attestation Protocols
Attributed to:
User-controlled hardware security anchors: evaluation and designs
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Digital Object Identifier: http://dx.doi.org/10.1007/978-3-030-91859-0_9
Publication URI: http://dx.doi.org/10.1007/978-3-030-91859-0_9
Type: Book Chapter
Book Title: Security and Trust Management - 17th International Workshop, STM 2021, Darmstadt, Germany, October 8, 2021, Proceedings (2021)
Page Reference: 163-184
ISSN: 2662-9399