Root-of-trust abstractions for symbolic analysis: application to attestation protocols

Georgios Fotiadis, Jose Moreira-Sanchez, Thanassis Giannetsos, Liqun Chen, Peter B. Ronne, Mark Ryan, Peter Y.A. Ryan

Research output: Chapter in Book/Report/Conference proceedingConference contribution

85 Downloads (Pure)

Fingerprint

Dive into the research topics of 'Root-of-trust abstractions for symbolic analysis: application to attestation protocols'. Together they form a unique fingerprint.

Mathematics

Engineering & Materials Science