Simone Lupetti Gianluca Dini Practical Verification of Untrusted Terminals using Remote Attestation. 402-407 2007 SECRYPT conf/secrypt/2007 db/conf/secrypt/secrypt2007.html#LupettiD07