An Infrastructure for Faithful Execution of Remote Attestation Protocols

-