{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T11:46:46Z","timestamp":1725796006347},"publisher-location":"Cham","reference-count":31,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319085920"},{"type":"electronic","value":"9783319085937"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-08593-7_3","type":"book-chapter","created":{"date-parts":[[2014,6,23]],"date-time":"2014-06-23T12:55:19Z","timestamp":1403528119000},"page":"37-54","source":"Crossref","is-referenced-by-count":3,"title":["Affordable Separation on Embedded Platforms"],"prefix":"10.1007","author":[{"given":"Oliver","family":"Schwarz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christian","family":"Gehrmann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Viktor","family":"Do","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"3_CR1","unstructured":"AMD: AMD64 virtualization: Secure virtualization: Secure virtual machine architecture reference manual. AMD Publication number 33047, revision 3.01 (2005)"},{"key":"3_CR2","unstructured":"ARM: ARMv7-A architecture reference manual, issue C, http:\/\/infocenter.arm.com\/help\/index.jsp?topic=\/com.arm.doc.ddi0406c"},{"key":"3_CR3","unstructured":"ARM: Integrator baseboards, http:\/\/infocenter.arm.com\/help\/topic\/com.arm.doc.subset.boards.integratorbaseboards"},{"key":"3_CR4","unstructured":"ARM: TrustZone Technology, http:\/\/www.arm.com\/products\/processors\/technologies\/trustzone.php\/"},{"key":"3_CR5","unstructured":"ARM Technical Support Knowledge Articles: What is the fastest way to copy memory on a Cortex-A8? (2011), http:\/\/infocenter.arm.com\/help\/index.jsp?topic=\/com.arm.doc.faqs\/ka13544.html"},{"key":"3_CR6","doi-asserted-by":"crossref","unstructured":"Azab, A.M., Ning, P., Zhang, X.: SICE: a hardware-level strongly isolated computing environment for x86 multi-core platforms. In: Proceedings of the 18th ACM Conference on Computer and Communications Security, pp. 375\u2013388 (2011)","DOI":"10.1145\/2046707.2046752"},{"key":"3_CR7","unstructured":"BeagleBoard.org Foundation: BeagleBoard product page, http:\/\/beagleboard.org\/Products\/BeagleBoard"},{"key":"3_CR8","unstructured":"BeagleBoard.org Foundation: BeagleBoard-xM product page, http:\/\/beagleboard.org\/Products\/BeagleBoard-xM"},{"key":"3_CR9","unstructured":"BeagleBoard.org Foundation: BeagleBone product page, http:\/\/beagleboard.org\/Products\/BeagleBone"},{"key":"3_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"298","DOI":"10.1007\/11894063_24","volume-title":"Cryptographic Hardware and Embedded Systems - CHES 2006","author":"R. Chaves","year":"2006","unstructured":"Chaves, R., Kuzmanov, G., Sousa, L., Vassiliadis, S.: Improving SHA-2 hardware implementations. In: Goubin, L., Matsui, M. (eds.) CHES 2006. LNCS, vol.\u00a04249, pp. 298\u2013310. Springer, Heidelberg (2006)"},{"key":"3_CR11","doi-asserted-by":"crossref","unstructured":"Dam, M., Guanciale, R., Khakpour, N., Nemati, H., Schwarz, O.: Formal verification of information flow security for a simple ARM-based separation kernel. In: Proceedings of the 2013 ACM SIGSAC Conference on Computer and Communications Security, CCS 2013 (2013)","DOI":"10.1145\/2508859.2516702"},{"key":"3_CR12","unstructured":"Ding, J.H., Lin, C.J., Chang, P.H., Tsang, C.H., Hsu, W.C., Chung, Y.C.: ARMvisor: System virtualization for ARM. In: Linux Symposium (2012)"},{"key":"3_CR13","unstructured":"Douglas, H., Gehrmann, C.: Secure virtualization and multicore platforms state-of-the-art report. Tech. Report (2009), http:\/\/soda.swedish-ict.se\/3800\/"},{"key":"3_CR14","unstructured":"G\u00e1bri\u0161, F.: Turning off hypervisor and resuming OS in 100 instructions. Presentation at FASM CON 2009, Myjava, Slovak Republic (2009), http:\/\/fdbg.x86asm.net\/Turning_off_hypervisor_and_resuming_OS_in_100_instructions.ppt"},{"key":"3_CR15","unstructured":"Goldberg, R.P.: Architectural principles of virtual machines. Ph.D. thesis, Harvard University (1972)"},{"key":"3_CR16","doi-asserted-by":"crossref","unstructured":"Goldberg, R.P.: Survey of virtual machine research. IEEE Comp. Magazine (1974)","DOI":"10.1109\/MC.1974.6323581"},{"key":"3_CR17","unstructured":"Grawrock, D.: The Intel safer computing initiative: Building blocks for trusted computing (2006)"},{"key":"3_CR18","unstructured":"Harrington, B.R., Mehta, C., Milton, D.M.I., Perez, M.A., Randall, D.L., Willoughby, D.R.: System and method for selectively executing a reboot request after a reset to power on state for a particular partition in a logically partitioned system. US patent US 7146515 B2, http:\/\/www.google.com\/patents\/US7146515"},{"key":"3_CR19","doi-asserted-by":"crossref","unstructured":"Hwang, J.Y., Suh, S.B., Heo, S.K., Park, C.J., Ryu, J.M., Park, S.Y., Kim, C.R.: Xen on ARM: System virtualization using Xen hypervisor for ARM-based secure mobile phones. In: CCNC (2008)","DOI":"10.1109\/ccnc08.2007.64"},{"key":"3_CR20","first-page":"3","volume-title":"Proceedings of the annual conference on USENIX 2006 Annual Technical Conference, ATEC 2006","author":"J. Liu","year":"2006","unstructured":"Liu, J., Huang, W., Abali, B., Panda, D.K.: High performance VMM-bypass I\/O in virtual machines. In: Proceedings of the annual conference on USENIX 2006 Annual Technical Conference, ATEC 2006, p. 3. USENIX Association, Berkeley (2006)"},{"key":"3_CR21","unstructured":"Make Linux Software: Super fast boot of embedded Linux, http:\/\/www.makelinux.com\/emb\/fastboot\/omap"},{"key":"3_CR22","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1145\/1357010.1352625","volume":"42","author":"J.M. McCune","year":"2008","unstructured":"McCune, J.M., Parno, B.J., Perrig, A., Reiter, M.K., Isozaki, H.: Flicker: an execution infrastructure for TCB minimization. SIGOPS Oper. Syst. Rev.\u00a042, 315\u2013328 (2008)","journal-title":"SIGOPS Oper. Syst. Rev."},{"key":"3_CR23","doi-asserted-by":"crossref","unstructured":"Naughton, T., Vallee, G., Scott, S.: Dynamic adaptation using Xen. In: System-level Virtualization for High Performance Computing, HPCVirt (2007)","DOI":"10.1109\/PDP.2008.85"},{"key":"3_CR24","unstructured":"Open Virtual Platforms: OVP website, http:\/\/www.ovpworld.org\/"},{"key":"3_CR25","unstructured":"Schellekens, D.: Design and Analysis of Trusted Computing Platforms. Ph.D. thesis, Katholieke Universiteit Leuven (2012)"},{"key":"3_CR26","doi-asserted-by":"crossref","unstructured":"Shafi, Q.: Cyber physical systems security: A brief survey. In: Computational Science and Its Applications (ICCSA), pp. 146\u2013150 (2012)","DOI":"10.1109\/ICCSA.2012.36"},{"key":"3_CR27","unstructured":"SICS: SICS Thin Hypervisor (STH) source, https:\/\/bitbucket.org\/sicssec\/sth"},{"key":"3_CR28","doi-asserted-by":"crossref","unstructured":"Smith, J.E., Nair, R.: Virtual Machines: Versatile Platforms for Systems and Processes. Morgan Kaufmann Publishers, USA (2005)","DOI":"10.1016\/B978-155860910-5\/50004-5"},{"key":"3_CR29","unstructured":"Sony Mobile: NovaThor U8500 product page, http:\/\/developer.sonymobile.com\/knowledge-base\/technologies\/novethor-u8500\/"},{"key":"3_CR30","unstructured":"Trusted Computing Group: PC client specific TPM interface specification. Version 1.2, Revision 1.0 (2005)"},{"key":"3_CR31","unstructured":"Wojtczuk, R., Rutkowska, J.: Attacking Intel trusted execution technology. Black Hat DC (2009)"}],"container-title":["Lecture Notes in Computer Science","Trust and Trustworthy Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-08593-7_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,4,9]],"date-time":"2022-04-09T03:06:11Z","timestamp":1649473571000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-08593-7_3"}},"subtitle":["Soft Reboot Enabled Virtualization on a Dual Mode System"],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319085920","9783319085937"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-08593-7_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}