Remote Attestation of Software and Execution-Environment in Modern Machines | IEEE Conference Publication | IEEE Xplore