"VRASED: A Verified Hardware/Software Co-Design for Remote Attestation."

Ivan De Oliveira Nunes et al. (2019)
a service of Schloss Dagstuhl - Leibniz Center for Informatics