2 ms·Vrased: A Verified Hardware/Software Co-Design for Remote Attestation2 points by godelmachine 7y ago