Ahmad-Reza Sadeghi Christian Stüble Marcel Winandy Property-Based TPM Virtualization. 1-16 2008 ISC http://dx.doi.org/10.1007/978-3-540-85886-7_1 conf/isw/2008 db/conf/isw/isc2008.html#SadeghiSW08