{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,16]],"date-time":"2026-04-16T23:19:37Z","timestamp":1776381577411,"version":"3.51.2"},"reference-count":35,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1109\/sp.2010.17","type":"proceedings-article","created":{"date-parts":[[2010,7,20]],"date-time":"2010-07-20T18:45:51Z","timestamp":1279651551000},"page":"143-158","source":"Crossref","is-referenced-by-count":369,"title":["TrustVisor: Efficient TCB Reduction and Attestation"],"prefix":"10.1109","author":[{"given":"Jonathan M.","family":"McCune","sequence":"first","affiliation":[]},{"given":"Yanlin","family":"Li","sequence":"additional","affiliation":[]},{"given":"Ning","family":"Qu","sequence":"additional","affiliation":[]},{"given":"Zongwei","family":"Zhou","sequence":"additional","affiliation":[]},{"given":"Anupam","family":"Datta","sequence":"additional","affiliation":[]},{"given":"Virgil","family":"Gligor","sequence":"additional","affiliation":[]},{"given":"Adrian","family":"Perrig","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref33","year":"2007","journal-title":"TPM Main Specification"},{"key":"ref32","article-title":"Splitting interfaces: Making trust between applications and operating systems configurable","author":"ta-min","year":"2006","journal-title":"ACM SOSP"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/4434.708254"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/1217935.1217951"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1145\/1346256.1346267"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1145\/168619.168635"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2009.16"},{"key":"ref11","article-title":"A hypervisor-based system for protecting software runtime memory and persistent storage","author":"dewan","year":"2008","journal-title":"Proceedings of the Spring Simulation Multiconference"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TIT.1983.1056650"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/SECPRI.2000.848461"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/945445.945464"},{"key":"ref15","author":"grawrock","year":"2006","journal-title":"The Intel Safer Computing Initiative Building Blocks for Trusted Computing"},{"key":"ref16","year":"2008","journal-title":"Intel trusted execution technology – software development guide"},{"key":"ref17","article-title":"Postmark: A new file system benchmark","author":"katcher","year":"1997","journal-title":"Technical Report TR-3022"},{"key":"ref18","author":"katz","year":"2008","journal-title":"Introduction to Modern Cryptography"},{"key":"ref19","article-title":"OSLO: Improving the security of Trusted Computing","author":"kauer","year":"2007","journal-title":"Proc Usenix Security"},{"key":"ref28","article-title":"Design and implementation of a TCG-based integrity measurement architecture","author":"sailer","year":"2004","journal-title":"Proc Usenix Security"},{"key":"ref4","article-title":"vTPM: Virtualizing the trusted platform module","author":"berger","year":"2006","journal-title":"Proc Usenix Security"},{"key":"ref27","article-title":"sHype: Secure hypervisor approach to trusted virtualized systems","author":"sailer","year":"2005","journal-title":"Technical Report RC23511"},{"key":"ref3","article-title":"A reliable bootstrap architecture","author":"arbaugh","year":"1997","journal-title":"Proc IEEE Symposium on Research in Security and Privacy (S&P)"},{"key":"ref6","article-title":"Privtrans: Automatically partitioning programs for privilege separation","author":"brumley","year":"2004","journal-title":"Proc Usenix Security"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1145\/1294261.1294294"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/1346281.1346286"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/1346281.1346284"},{"key":"ref7","article-title":"Tamper-resistant execution in an untrusted operating system using a VMM","author":"chen","year":"2007","journal-title":"Technical Report FDUPPITR-2007-0801"},{"key":"ref2","year":"2007","journal-title":"AMD64 Architecture Programmer's Manual Volume 2 System Programming"},{"key":"ref9","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-540-24730-2_15","article-title":"A tool for checking ANSI-C programs","author":"clarke","year":"2004","journal-title":"Proc Tools and Algorithms for the Construction and Analysis of Systems (TACAS)"},{"key":"ref1","article-title":"CFI: Principles, implementations, and applications","author":"abadi","year":"2005","journal-title":"Proc ACM Conference and Computer and Communications Security (CCS)"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/1629575.1629596"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/1352592.1352625"},{"key":"ref21","article-title":"Evaluating sfi for a cisc architecture","author":"mccamant","year":"2006","journal-title":"Proc Usenix Security"},{"key":"ref24","article-title":"Relationships between selected software measures and latent bug-density","author":"misra","year":"2003","journal-title":"Proc Conference on Computational Science and Its Applications"},{"key":"ref23","doi-asserted-by":"crossref","DOI":"10.1145\/1346281.1346285","article-title":"How low can you go? Recommendations for hardware-supported minimal TCB code execution","author":"mccune","year":"2008","journal-title":"ASPLOS"},{"key":"ref26","article-title":"Dynamic software application protection","author":"sahita","year":"2009","journal-title":"Intel Corporation"},{"key":"ref25","doi-asserted-by":"crossref","DOI":"10.1145\/1179474.1179487","article-title":"TCG inside? A note on TPM specification compliance","author":"sadeghi","year":"2006","journal-title":"Proc Scalable Trusted Computing Workshop"}],"event":{"name":"2010 IEEE Symposium on Security and Privacy","location":"Oakland, CA, USA","start":{"date-parts":[[2010,5,16]]},"end":{"date-parts":[[2010,5,19]]}},"container-title":["2010 IEEE Symposium on Security and Privacy"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5504620\/5504699\/05504713.pdf?arnumber=5504713","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,2]],"date-time":"2023-06-02T06:21:40Z","timestamp":1685686900000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5504713\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"references-count":35,"URL":"https:\/\/doi.org\/10.1109\/sp.2010.17","relation":{},"subject":[],"published":{"date-parts":[[2010]]}}}