Practical Verification of Untrusted Terminals Using Remote Attestation