Zhang, Szefer, Lee, 2012. Security verification of hardware-enabled attestation protocols, in: . IEEE.. https://doi.org/10.1109/microw.2012.16