"How low can you go?: recommendations for hardware-supported minimal TCB ..."

Jonathan M. McCune et al. (2008)
a service of Schloss Dagstuhl - Leibniz Center for Informatics