Building verifiable trusted path on commodity x86 computers (2012)

by Z ZHOU, V D GLIGOR, J NEWSOME, J M MCCUNE
Venue:In Proc. of IEEE S&P