Hardware-Based Trusted Computing Architectures for Isolation and Attestation

DOI10.1109/TC.2017.2647955MaRDI QIDQ4567314zbMATH OpenFDO

Authors Pieter Maene, Johannes Götzfried, Ruan de Clercq, Tilo Müller, Felix C. Freiling, Ingrid Verbauwhede

Publication date 27 June 2018

Published in IEEE Transactions on Computers (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1109/TC.2017.2647955

Mathematics Subject Classification ID

Mathematical problems of computer architecture (68M07)

Cited in

(1)

• Cerise: program verification on a capability machine in the presence of untrusted code

This page was built for publication: Hardware-Based Trusted Computing Architectures for Isolation and Attestation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4567314)