Ivan De Oliveira Nunes, Karim Eldefrawy, Norrathep Rattanavipanon, Michael Steiner, Gene Tsudik. VRASED: A Verified Hardware/Software Co-Design for Remote Attestation. In Nadia Heninger, Patrick Traynor, editors, 28th USENIX Security Symposium, USENIX Security 2019, Santa Clara, CA, USA, August 14-16, 2019. pages 1429-1446, USENIX Association, 2019. [doi]
Abstract is missing.