Security verification of hardware-enabled attestation protocols | IEEE Conference Publication | IEEE Xplore