{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T14:23:36Z","timestamp":1743085416464,"version":"3.40.3"},"publisher-location":"Cham","reference-count":25,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319241760"},{"type":"electronic","value":"9783319241777"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-24177-7_19","type":"book-chapter","created":{"date-parts":[[2015,10,9]],"date-time":"2015-10-09T14:47:11Z","timestamp":1444402031000},"page":"376-395","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["A Bytecode Interpreter for Secure Program Execution in Untrusted Main Memory"],"prefix":"10.1007","author":[{"given":"Maximilian","family":"Seitzer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Gruhn","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tilo","family":"M\u00fcller","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,11,18]]},"reference":[{"unstructured":"M\u00fcller, T., Freiling, F.C., Dewald, A.: Tresor runs encryption securely outside ram. In: Proceedings of the 20th USENIX Conference on Security (SEC 2011), pp. 17\u201317. USENIX Association, Berkeley (2011)","key":"19_CR1"},{"issue":"5","key":"19_CR2","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1145\/1506409.1506429","volume":"52","author":"J Alex Halderman","year":"2009","unstructured":"Alex Halderman, J., Schoen, S.D., Clarkson, W., Heninger, N., Paul, W., Calandrino, J.A., Feldman, A.J., Appelbaum, J., Felten, E.W.: Lest we remember: cold-boot attacks on encryption keys. Commun. ACM 52(5), 91\u201398 (2009). doi:\n                      10.1145\/1506409.1506429","journal-title":"Commun. ACM"},{"doi-asserted-by":"crossref","unstructured":"Gruhn, M., M\u00fcller, T.: On the practicability of cold boot attacks. In IEEE Conference Publications, editor, Eighth International Conference on Availability, Reliability and Security (ARES), pp. 390\u2013397 (2013)","key":"19_CR3","DOI":"10.1109\/ARES.2013.52"},{"unstructured":"A Guide to Understanding Data Remanence in Automated Information Systems. NCSC-TG-025, National Computer Security Centre, Sep 1991","key":"19_CR4"},{"unstructured":"Gutmann, P.: Data remanence in semiconductor devices. In: Proceedings of the 10th Conference on USENIX Security Symposium, SSYM 2001, vol. 10. USENIX Association, Berkeley (2001)","key":"19_CR5"},{"unstructured":"Skorobogatov, S.: Low temperature data remanence in static RAM. Technical report UCAM-CL-TR-536, University of Cambridge, Computer Laboratory, Jun 2002","key":"19_CR6"},{"doi-asserted-by":"publisher","unstructured":"Wyns, P., Anderson, R.L.: Low-temperature operation of silicon dynamic random-access memories. IEEE Trans. Electron. Devices 36(8), 1423\u20131428 (1989). doi:\n                      10.1109\/16.30954\n                      \n                    , ISSN 0018\u20139383","key":"19_CR7","DOI":"10.1109\/16.30954"},{"unstructured":"Becher, M., Dornseif, M., Klein, C.N.: FireWire: all your memory are belong to us. In: Proceedings of CanSecWest Applied Security Conference, Vancouver, British Columbia, Canada (2005)","key":"19_CR8"},{"issue":"1","key":"19_CR9","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1016\/j.diin.2003.12.001","volume":"1","author":"BD Carrier","year":"2004","unstructured":"Carrier, B.D., Grand, J.: A hardware-based memory acquisition procedure for digital investigations. Digital Invest. 1(1), 50\u201360 (2004)","journal-title":"Digital Invest."},{"unstructured":"Pabel, J.: Frozen cache, Jan 2009. \n                      http:\/\/frozenchache.blogspot.com","key":"19_CR10"},{"unstructured":"Simmons, P.: Security through amnesia: a software-based solution to the cold boot attack on disk encryption. In: Proceedings of the 27th Annual Computer Security Applications Conference, ACSAC 2011, pp. 73\u201382. ACM, New York (2011). ISBN 978-1-4503-0672-0","key":"19_CR11"},{"doi-asserted-by":"crossref","unstructured":"Garmany, B., M\u00fcller, T.: PRIME: private RSA infrastructure for memory-less encryption (best paper award). In: Applied Computer Security Associates (ACSA) and ACM (eds.) Proceedings of the 29th Annual Computer Security Applications Conference (2013)","key":"19_CR12","DOI":"10.1145\/2523649.2523656"},{"doi-asserted-by":"crossref","unstructured":"Guan, L., Lin, J., Luo, B., Jing, J.: Copker: Computing with private keys without ram. In: Network and Distributed System Security Symposium (NDSS) (2014)","key":"19_CR13","DOI":"10.14722\/ndss.2014.23125"},{"doi-asserted-by":"publisher","unstructured":"McKeen, F., Alexandrovich, I., Berenzon, A., Rozas, C.V., Shafi, H., Shanbhogue, V., Savagaonkar, U.R.: Innovative instructions and software model for isolated execution. In: Proceedings of the 2nd International Workshop on Hardware and Architectural Support for Security and Privacy, HASP 2013, pp. 10:1\u201310:1. ACM, New York (2013). doi:\n                      10.1145\/2487726.2488368\n                      \n                    , ISBN 978-1-4503-2118-1","key":"19_CR14","DOI":"10.1145\/2487726.2488368"},{"doi-asserted-by":"publisher","unstructured":"Shi, Y., Casey, K., Anton Ertl, M., Gregg, D.: Virtual machine showdown: stack versus registers. ACM Trans. Archit. Code Optim. 4(4), 2:1\u20132:36 (2008). doi:\n                      10.1145\/1328195.1328197\n                      \n                    , ISSN 1544\u20133566","key":"19_CR15","DOI":"10.1145\/1328195.1328197"},{"unstructured":"Lomont, C.: Introduction to Intel Advanced Vector Extensions. Intel Corporation, Jun 2011","key":"19_CR16"},{"unstructured":"National Institute for Standards and Technology. Recommendation for Block Cipher Modes of Operation, NIST Special Publication 800\u201338A edition, Dec 2001","key":"19_CR17"},{"doi-asserted-by":"publisher","unstructured":"Blass, E.-O., Robertson, W.: TRESOR-HUNT: attacking CPU-bound encryption. In: Proceedings of the 28th Annual Computer Security Applications Conference, ACSAC 2012, pp. 71\u201378. ACM, New York (2012). doi:\n                      10.1145\/2420950.2420961\n                      \n                    , ISBN 978-1-4503-1312-4","key":"19_CR18","DOI":"10.1145\/2420950.2420961"},{"doi-asserted-by":"publisher","unstructured":"G\u00f6tzfried, J., M\u00fcller, T.: ARMORED: CPU-bound encryption for android-driven ARM devices. In: Proceedings of the 2013 International Conference on Availability, Reliability and Security, ARES 2013, pp. 161\u2013168. IEEE Computer Society, Washington, DC (2013). doi:\n                      10.1109\/ARES.2013.23\n                      \n                    , ISBN 978-0-7695-5008-4","key":"19_CR19","DOI":"10.1109\/ARES.2013.23"},{"doi-asserted-by":"publisher","unstructured":"Brenner, M., Wiebelitz, J., von Voigt, G., Smith, M.: Secret program execution in the cloud applying homomorphic encryption. In: 2011 Proceedings of the 5th IEEE International Conference on Digital Ecosystems and Technologies Conference (DEST), pp. 114\u2013119, May 2011. doi:\n                      10.1109\/DEST.2011.5936608","key":"19_CR20","DOI":"10.1109\/DEST.2011.5936608"},{"unstructured":"Gentry, C.: A fully homomorphic encryption scheme. Ph.D. thesis, Stanford University (2009). \n                      http:\/\/crypto.stanford.edu\/craig","key":"19_CR21"},{"doi-asserted-by":"publisher","unstructured":"Duc, G., Keryell, R.: CryptoPage: an efficient secure architecture with memory encryption, integrity and information leakage protection. In: 22nd Annual Computer Security Applications Conference, ACSAC 2006, pp. 483\u2013492, Dec 2006. doi:\n                      10.1109\/ACSAC.2006.21","key":"19_CR22","DOI":"10.1109\/ACSAC.2006.21"},{"key":"19_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"307","DOI":"10.1007\/978-3-642-38980-1_19","volume-title":"Applied Cryptography and Network Security","author":"M Henson","year":"2013","unstructured":"Henson, M., Taylor, S.: Beyond full disk encryption: protection on security-enhanced commodity processors. In: Jacobson, M., Locasto, M., Mohassel, P., Safavi-Naini, R. (eds.) ACNS 2013. LNCS, vol. 7954, pp. 307\u2013321. Springer, Heidelberg (2013)"},{"doi-asserted-by":"publisher","unstructured":"Peterson, P.A.H.: Cryptkeeper: Improving security with encrypted RAM. In: 2010 IEEE International Conference on Technologies for Homeland Security (HST), pp. 120\u2013126, Nov 2010. doi:\n                      10.1109\/THS.2010.5655081","key":"19_CR24","DOI":"10.1109\/THS.2010.5655081"},{"key":"19_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1007\/978-3-642-36563-8_9","volume-title":"Engineering Secure Software and Systems","author":"PT Breuer","year":"2013","unstructured":"Breuer, P.T., Bowen, J.P.: A fully homomorphic crypto-processor design: correctness of a secret computer. In: J\u00fcrjens, J., Livshits, B., Scandariato, R. (eds.) ESSoS 2013. LNCS, vol. 7781, pp. 123\u2013138. Springer, Heidelberg (2013)"}],"container-title":["Lecture Notes in Computer Science","Computer Security -- ESORICS 2015"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-24177-7_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,9,7]],"date-time":"2020-09-07T00:28:45Z","timestamp":1599438525000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-24177-7_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319241760","9783319241777"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-24177-7_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"18 November 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}