Bootstrapping Trust in Modern Computers - Parno, Bryan; McCune, Jonathan M.; Perrig, Adrian (Springer New York, 2011)