Vrased: A Verified Hardware/Software Co-Design for Remote Attestationusenix.org2 pointsgodelmachine7 years ago