{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T11:39:32Z","timestamp":1742384372761,"version":"3.37.0"},"publisher-location":"Berlin, Heidelberg","reference-count":46,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642012433"},{"type":"electronic","value":"9783642012440"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-01244-0_13","type":"book-chapter","created":{"date-parts":[[2009,5,23]],"date-time":"2009-05-23T08:53:02Z","timestamp":1243068782000},"page":"143-151","source":"Crossref","is-referenced-by-count":2,"title":["On the Impossibility of Detecting Virtual Machine Monitors"],"prefix":"10.1007","author":[{"given":"Shay","family":"Gueron","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean-Pierre","family":"Seifert","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"13_CR1","unstructured":"Advanced Micro Devices, Pacifica \u2014 AMD Secure Virtual Machine Architecture Reference Manual, AMD (2005)"},{"key":"13_CR2","doi-asserted-by":"crossref","unstructured":"Attanasio, C.R.: Virtual Machines and Data Security. In: Proceedings of the Workshop on Virtual Computer Systems, pp. 206\u2013209 (1973)","DOI":"10.1145\/800122.803960"},{"key":"13_CR3","unstructured":"Bernstein, D.J.: Cache-timing attacks on AES, 37 pages (2005), http:\/\/cr.yp.to\/papers.html\/cachetiming"},{"key":"13_CR4","volume-title":"Computer Security: Art and Science","author":"M. Bishop","year":"2003","unstructured":"Bishop, M.: Computer Security: Art and Science. Addison Wesley Professional, Reading (2003)"},{"issue":"3","key":"13_CR5","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1109\/MSP.2007.63","volume":"5","author":"M. Carpenter","year":"2007","unstructured":"Carpenter, M., Liston, T., Skoudis, E.: Hiding Virtualization from Attackers and Malware. IEEE Security and Privacy\u00a05(3), 62\u201365 (2007)","journal-title":"IEEE Security and Privacy"},{"key":"13_CR6","unstructured":"Chen, Y., England, P., Peinado, M., Willman, B.: High Assurance Computing on Open Hardware Architectures, Microsoft Technical Report, MSR-TR-2003-20 (March 2003)"},{"key":"13_CR7","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1016\/0167-4048(87)90122-2","volume":"6","author":"F.B. Cohen","year":"1987","unstructured":"Cohen, F.B.: Computer Viruses: Theory and Experiments. Computers and Security\u00a06, 22\u201335 (1987)","journal-title":"Computers and Security"},{"key":"13_CR8","unstructured":"Dignan, L.: Virtualization: What are the security risks? ZDNet.com (January 22, 2008)"},{"key":"13_CR9","doi-asserted-by":"crossref","unstructured":"Dinda, P.A.: Addressing the trust asymmetry problem in grid computing with encrypted computation. In: Proceedings of the 7th Workshop on Languages, Compilers, and Run-time support for scalable systems, pp. 1\u20137 (2004)","DOI":"10.1145\/1066650.1066656"},{"issue":"7","key":"13_CR10","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1109\/MC.2003.1212691","volume":"36","author":"P. England","year":"2003","unstructured":"England, P., Lampson, B., Manferdelli, J., Peinado, M., Willman, B.: A Trusted Open Platform. IEEE Computer\u00a036(7), 55\u201362 (2003)","journal-title":"IEEE Computer"},{"key":"13_CR11","unstructured":"Ferrie, P.: Attacks on Virtual Machine Emulators. In: AVAR 2006, Auckland, New Zealand, December 3-5 (2006)"},{"key":"13_CR12","unstructured":"Franklin, J., Luk, M., McCune, J., Seshadri, A., Perrig, A., van Doorn, L.: Remote Virtual Machine Monitor Detection. In: ARO-DARPA-DHS Special Workshop on Botnets, Arlington, VA (June 2006)"},{"key":"13_CR13","doi-asserted-by":"crossref","unstructured":"Franklin, J., Luk, M., McCune, J., Seshadri, A., Perrig, A., van Doorn, L.: Remote Detection of Virtual Machine Monitors with Fuzzy Benchmarking. ACM SIGOPS Operating System Review (Special Issue on Computer Forensics) (April 2008)","DOI":"10.1145\/1368506.1368518"},{"key":"13_CR14","volume-title":"Botnet Detection: Countering the Largest Security Threat","author":"J. Franklin","year":"2007","unstructured":"Franklin, J., Luk, M., McCune, J., Seshadri, A., Perrig, A., van Doorn, L.: Towards Sound Detection of Virtual Machines. In: Lee, W., Wang, C., Dagon, D. (eds.) Botnet Detection: Countering the Largest Security Threat, November 2007. Springer, Heidelberg (2007)"},{"key":"13_CR15","unstructured":"Galli, P.: Microsoft puts IE enhancements of fast track. Interview with Bill Gates in eWeek \u00a022(18) (2006)"},{"key":"13_CR16","unstructured":"Garfinkel, T., Adams, K., Warfield, A., Franklin, J.: Compatibility is Not Transparency: VMM Detection Myths and Realities. In: Proceedings of the 11th Workshop on Hot Topics in Operating Systems (HotOS-XI), (May 2007)"},{"key":"13_CR17","doi-asserted-by":"crossref","unstructured":"Garfinkel, T., Pfaff, B., Chow, J., Rosenblum, M., Boneh, D.: Terra: a virtual machine-based platform for trusted computing. In: Proceedings of the 19th ACM Symposium on Operating Systems Principles (2003)","DOI":"10.1145\/945445.945464"},{"key":"13_CR18","unstructured":"Garfinkel, T., Rosenblum, M.: A virtual machine introspection-based architecture for intrusion detection. In: Proceedings of the 2003 Network and Distributed Systems Symposium (NDSS 2003) (2003)"},{"key":"13_CR19","doi-asserted-by":"crossref","unstructured":"Ghodke, N., Figueiredo, R.J.: On the Implications of Machine Virtualization for DRM and Fair Use: A Case Study of a Virtual Audio Device Driver. In: Proceedings of 4th ACM DRM Workshop (2004)","DOI":"10.1145\/1029146.1029162"},{"key":"13_CR20","doi-asserted-by":"crossref","unstructured":"Goldberg, R.P.: Architecture of virtual machines. In: Proceedings of the Workshop on Virtual Computer Systems, pp. 74\u2013112 (1973)","DOI":"10.1145\/800122.803950"},{"key":"13_CR21","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1109\/MC.1974.6323581","volume":"7","author":"R.P. Goldberg","year":"1974","unstructured":"Goldberg, R.P.: Survey of virtual machine research. IEEE Computer Magazine\u00a07, 34\u201345 (1974)","journal-title":"IEEE Computer Magazine"},{"key":"13_CR22","series-title":"Lecture Notes in Computer Science","volume-title":"Theoretical Computer Science","year":"2006","unstructured":"Goldreich, O., Rosenberg, A.L., Selman, A.L. (eds.): Theoretical Computer Science. LNCS, vol.\u00a03895. Springer, Heidelberg (2006)"},{"key":"13_CR23","unstructured":"Grawrock, D.: The Intel Safer Computing Initiative: Building Blocks for Trusted Computing. Intel Press (2006)"},{"key":"13_CR24","volume-title":"Introduction to Automata Theory, Languages, and Computation","author":"J.E. Hopcroft","year":"1979","unstructured":"Hopcroft, J.E., Ullman, J.D.: Introduction to Automata Theory, Languages, and Computation. Addison-Wesley Publishing Company, Reading (1979)"},{"key":"13_CR25","doi-asserted-by":"crossref","unstructured":"Karger, P., Zurko, M.E., Bonin, D.W., Mason, A.H., Kahn, C.E.: A VMM security kernel for the VAX architecture. In: Proceedings of the 1990 IEEE Symposium on Security and Privacy, pp. 2\u201319 (1990)","DOI":"10.1109\/RISP.1990.63834"},{"issue":"11","key":"13_CR26","doi-asserted-by":"publisher","first-page":"1147","DOI":"10.1109\/32.106971","volume":"17","author":"P. Karger","year":"1991","unstructured":"Karger, P., Zurko, M.E., Bonin, D.W., Mason, A.H., Kahn, C.E.: A Retrospective on the VAX VMM Security Kernel. IEEE Transactions on Software Engineering\u00a017(11), 1147\u20131165 (1991)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"13_CR27","doi-asserted-by":"crossref","unstructured":"King, S.T., Chen, P.M., Wang, Y.-M., Verbowski, C., Wang, H.J., Lorch, J.R.: SubVirt: Implementing malware with virtual machines. In: Proceedings of the 2006 IEEE Symposium on Security and Privacy (2006)","DOI":"10.1109\/SP.2006.38"},{"issue":"5","key":"13_CR28","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1109\/MSP.2008.136","volume":"6","author":"S.T. King","year":"2008","unstructured":"King, S.T., Smith, S.W.: Virtualization and Security: Back to the Future. IEEE Security & Privacy\u00a06(5), 15 (2008)","journal-title":"IEEE Security & Privacy"},{"issue":"10","key":"13_CR29","doi-asserted-by":"publisher","first-page":"613","DOI":"10.1145\/362375.362389","volume":"16","author":"B.W. Lampson","year":"1973","unstructured":"Lampson, B.W.: A note on the confinement problem. Communications of the ACM\u00a016(10), 613\u2013615 (1973)","journal-title":"Communications of the ACM"},{"key":"13_CR30","unstructured":"Lauraoux, C.: Detecting virtual machines (manuscript), cedric.lauradoux@inria.fr"},{"key":"13_CR31","doi-asserted-by":"crossref","unstructured":"Madnick, S.E., Donovan, J.J.: Application and analysis of the virtual machine approach to information system security and isolation. In: Proceedings of the Workshop on Virtual Computer Systems, pp. 210\u2013224 (1973)","DOI":"10.1145\/800122.803961"},{"key":"13_CR32","unstructured":"Microsoft, CPU Virtualization Extensions: Analysis of Rootkit Issues (October 2006), http:\/\/www.microsoft.com\/whdc\/system\/platform\/virtual\/CPUVirtExt.mspx"},{"key":"13_CR33","doi-asserted-by":"crossref","unstructured":"Osvik, D.A., Shamir, A., Tromer, E.: Cache attacks and Countermeasures: the Case of AES, Cryptology ePrint Archive, Report 2005\/271 (2005)","DOI":"10.1007\/11605805_1"},{"key":"13_CR34","volume-title":"Trusted Computing Platforms: TCPA Technology in Context","author":"S. Pearson","year":"2002","unstructured":"Pearson, S.: Trusted Computing Platforms: TCPA Technology in Context. Prentice Hall PTR, Englewood Cliffs (2002)"},{"key":"13_CR35","unstructured":"Percival, C.: Cache missing for fun and profit. In: Proc. of BSDCan 2005, Ottawa (manuscript, 2005), http:\/\/www.daemonology.net"},{"key":"13_CR36","volume-title":"Security in Computing","author":"C.P. Pfleeger","year":"2002","unstructured":"Pfleeger, C.P., Lawrence Pfleeger, S.: Security in Computing, 3rd edn. Prentice Hall PTR, Englewood Cliffs (2002)","edition":"3"},{"key":"13_CR37","doi-asserted-by":"crossref","unstructured":"Popek, G., Goldberg, R.: Formal Requirements for Virtualizable Third Generation Architectures. Communications of the ACM\u00a017(7), 412\u2013421","DOI":"10.1145\/361011.361073"},{"key":"13_CR38","unstructured":"Rogers, J.: Virtualization Is Key to Disaster Recovery, Byte and Switch News (September 11, 2007)"},{"key":"13_CR39","unstructured":"Rutkowska, J.: Subverting VistaTM Kernel For Fun And Profit. In: SyScan 2006, July 21st, Singapore, and Black Hat Briefings, August 3rd, Las Vegas (2006)"},{"key":"13_CR40","volume-title":"Operating system concepts","author":"A. Silberschatz","year":"2005","unstructured":"Silberschatz, A., Gagne, G., Galvin, P.B.: Operating system concepts, 7th edn. John Wiley and Sons, Chichester (2005)","edition":"7"},{"key":"13_CR41","doi-asserted-by":"crossref","unstructured":"Robin, J.S., Irvine, C.E.: Analysis of the Intel Pentium\u2019s Ability to Support a Secure Virtual Machine Monito. In: Proceedings of the 9th Usenix Security Symposium, pp. 129\u2013144 (2000)","DOI":"10.21236\/ADA423654"},{"key":"13_CR42","doi-asserted-by":"crossref","unstructured":"Sibert, O., Porras, P.A., Lindell, R.: The Intel 80x86 Processor Architecture: Pitfalls for Secure Systems. In: 1995 IEEE Symposium on Security and Privacy, pp. 211\u2013223 (1995)","DOI":"10.1109\/SECPRI.1995.398934"},{"key":"13_CR43","volume-title":"Virtual Machines: Versatile Platforms for Systems and Proccesses","author":"J. Smith","year":"2005","unstructured":"Smith, J., Nair, R.: Virtual Machines: Versatile Platforms for Systems and Proccesses. Elsevier Press, Amsterdam (2005)"},{"key":"13_CR44","unstructured":"Trusted Computing Group, http:\/\/www.trustedcomputinggroup.org"},{"issue":"5","key":"13_CR45","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1109\/MC.2005.163","volume":"38","author":"R. Uhlig","year":"2005","unstructured":"Uhlig, R., Neiger, G., Rodgers, D., Santoni, A.L., Martins, F.C.M., Anderson, A.V., Bennett, S.M., Kagi, A., Leung, F.H., Smith, L.: Intel Virtualization Technology. Computer\u00a038(5), 48\u201356 (2005)","journal-title":"Computer"},{"key":"13_CR46","unstructured":"Dai Zovi, D.A.: Hardware Virtualization Rootkits. In: Black Hat Briefings 2006, Las Vegas, August 3 (2006)"}],"container-title":["IFIP Advances in Information and Communication Technology","Emerging Challenges for Security, Privacy and Trust"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-01244-0_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,9]],"date-time":"2025-02-09T17:40:20Z","timestamp":1739122820000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-01244-0_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642012433","9783642012440"],"references-count":46,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-01244-0_13","relation":{},"ISSN":["1868-4238","1868-422X"],"issn-type":[{"type":"print","value":"1868-4238"},{"type":"electronic","value":"1868-422X"}],"subject":[],"published":{"date-parts":[[2009]]}}}