@misc{cryptoeprint:2012:713, author = {Aurelien Francillon and Quan Nguyen and Kasper B. Rasmussen and Gene Tsudik}, title = {Systematic Treatment of Remote Attestation}, howpublished = {Cryptology ePrint Archive, Report 2012/713}, year = {2012}, url = {http://eprint.iacr.org/2012/713}, }