{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T20:11:56Z","timestamp":1742933516057,"version":"3.40.3"},"publisher-location":"Cham","reference-count":19,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319226880"},{"type":"electronic","value":"9783319226897"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-22689-7_10","type":"book-chapter","created":{"date-parts":[[2015,8,31]],"date-time":"2015-08-31T08:25:49Z","timestamp":1441009549000},"page":"137-148","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Processor Rescue"],"prefix":"10.1007","author":[{"given":"Peter T.","family":"Breuer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jonathan P.","family":"Bowen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Simon","family":"Pickin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,9,1]]},"reference":[{"key":"10_CR1","volume-title":"Optimizing Compilers for Modern Architectures: A Dependence-Based Approach","author":"R Allen","year":"2002","unstructured":"Allen, R., Kennedy, K.: Optimizing Compilers for Modern Architectures: A Dependence-Based Approach, vol. 289. Morgan Kaufmann, San Francisco (2002)"},{"key":"10_CR2","volume-title":"Programming Embedded Systems in C and C++","author":"M Barr","year":"1998","unstructured":"Barr, M.: Programming Embedded Systems in C and C++, 1st edn. O\u2019Reilly & Associates Inc., Sebastopol (1998)","edition":"1"},{"key":"10_CR3","first-page":"131","volume-title":"The REDO Compendium: Reverse Engineering for Software Maintenance, chap. 10,","author":"JP Bowen","year":"1993","unstructured":"Bowen, J.P., Breuer, P.T.: Decompilation. In: van Zuylen, H. (ed.) The REDO Compendium: Reverse Engineering for Software Maintenance, chap. 10, pp. 131\u2013138. John Wiley & Sons, Hoboken (1993)"},{"issue":"5","key":"10_CR4","doi-asserted-by":"publisher","first-page":"1613","DOI":"10.1145\/186025.186093","volume":"16","author":"PT Breuer","year":"1994","unstructured":"Breuer, P.T., Bowen, J.P.: Decompilation: the enumeration of types and grammars. ACM Trans. Program. Lang. Syst. (TOPLAS) 16(5), 1613\u20131647 (1994)","journal-title":"ACM Trans. Program. Lang. Syst. (TOPLAS)"},{"key":"10_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1007\/978-3-642-28166-2_3","volume-title":"Engineering Secure Software and Systems","author":"PT Breuer","year":"2012","unstructured":"Breuer, P.T., Bowen, J.P.: Typed assembler for a RISC crypto-processor. In: Barthe, G., Livshits, B., Scandariato, R. (eds.) ESSoS 2012. LNCS, vol. 7159, pp. 22\u201329. Springer, Heidelberg (2012)"},{"key":"10_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"371","DOI":"10.1007\/978-3-319-05032-4_27","volume-title":"Software Engineering and Formal Methods","author":"PT Breuer","year":"2014","unstructured":"Breuer, P.T., Bowen, J.P.: Certifying machine code safe from hardware aliasing: RISC is not necessarily risky. In: Counsell, S., N\u00fa\u00f1ez, M. (eds.) SEFM 2013. LNCS, vol. 8368, pp. 371\u2013388. Springer, Heidelberg (2014)"},{"key":"10_CR7","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. In: J\u00fcrjens, J., Livshits, B., Scandariato, R. (eds.) ESSoS 2013. LNCS, vol. 7781, pp. 123\u2013138. Springer, Heidelberg (2013)"},{"key":"10_CR8","doi-asserted-by":"crossref","unstructured":"Breuer, P.T., Bowen, J.P.: Avoiding hardware aliasing: verifying RISC machine and assembly code for encrypted computing. In: Proceedings of the 25th IEEE Intlernational Symposium on Software Reliability Engineering Workshops (ISSRE 2014), 2nd IEEE International Workshop on Reliability and Security Data Analysis (RSDA 2014), pp. 365\u2013370. IEEE, November 2014","DOI":"10.1109\/ISSREW.2014.102"},{"key":"10_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1007\/978-3-319-04897-0_9","volume-title":"Engineering Secure Software and Systems","author":"PT Breuer","year":"2014","unstructured":"Breuer, P.T., Bowen, J.P.: Towards a working fully homomorphic crypto-processor. In: J\u00fcrjens, J., Piessens, F., Bielova, N. (eds.) ESSoS. LNCS, vol. 8364, pp. 131\u2013140. Springer, Heidelberg (2014)"},{"key":"10_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1007\/978-3-642-03359-9_2","volume-title":"Theorem Proving in Higher Order Logics","author":"E Cohen","year":"2009","unstructured":"Cohen, E., Dahlweid, M., Hillebrand, M., Leinenbach, D., Moskal, M., Santen, T., Schulte, W., Tobies, S.: VCC: a practical system for verifying concurrent C. In: Berghofer, S., Nipkow, T., Urban, C., Wenzel, M. (eds.) TPHOLs 2009. LNCS, vol. 5674, pp. 23\u201342. Springer, Heidelberg (2009)"},{"key":"10_CR11","volume-title":"Quarterdeck Expanded Memory Manager: QEMM, Instant Power for 386, 486 or Pentium PCs","author":"P Glosserman","year":"1985","unstructured":"Glosserman, P.: Quarterdeck Expanded Memory Manager: QEMM, Instant Power for 386, 486 or Pentium PCs. Quarterdeck Office Systems, Santa Monica (1985)"},{"key":"10_CR12","doi-asserted-by":"crossref","unstructured":"Gruhn, M., M\u00fcller, T.: On the practicability of cold boot attacks. In: 8th International Conference on Availability, Reliability and Security (ARES 2013), pp. 390\u2013397, September 2013","DOI":"10.1109\/ARES.2013.52"},{"issue":"5","key":"10_CR13","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1145\/1506409.1506429","volume":"52","author":"JA Halderman","year":"2009","unstructured":"Halderman, J.A., Schoen, S.D., Heninger, N., Clarkson, W., 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)","journal-title":"Commun. ACM"},{"issue":"6","key":"10_CR14","doi-asserted-by":"publisher","first-page":"643","DOI":"10.1007\/BF03259390","volume":"6","author":"J He","year":"1994","unstructured":"He, J., Bowen, J.P.: Specification, verification and prototyping of an optimized compiler. Formal Aspects Comput. 6(6), 643\u2013658 (1994)","journal-title":"Formal Aspects Comput."},{"issue":"10","key":"10_CR15","doi-asserted-by":"publisher","first-page":"576","DOI":"10.1145\/363235.363259","volume":"12","author":"CAR Hoare","year":"1969","unstructured":"Hoare, C.A.R.: An axiomatic basis for computer programming. Commun. ACM 12(10), 576\u2013580 (1969)","journal-title":"Commun. ACM"},{"issue":"1","key":"10_CR16","doi-asserted-by":"publisher","first-page":"8","DOI":"10.1145\/2465.214917","volume":"28","author":"DA Patterson","year":"1985","unstructured":"Patterson, D.A.: Reduced instruction set computers. Commun. ACM 28(1), 8\u201321 (1985)","journal-title":"Commun. ACM"},{"key":"10_CR17","doi-asserted-by":"crossref","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)","DOI":"10.1145\/2076732.2076743"},{"issue":"6","key":"10_CR18","doi-asserted-by":"publisher","first-page":"875","DOI":"10.1109\/TCAD.2015.2419619","volume":"34","author":"NG Tsoutsos","year":"2015","unstructured":"Tsoutsos, N.G., Maniatakos, M.: The HEROIC framework: encrypted computation without shared keys. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 34(6), 875\u2013888 (2015)","journal-title":"IEEE Trans. Comput. Aided Des. Integr. Circuits Syst."},{"key":"10_CR19","doi-asserted-by":"crossref","unstructured":"Wang, S., Hu, J., Ziavras, S.G.: On the characterization of data cache vulnerability in high-performance embedded microprocessors. In: Proceedings of the IC-SAMOS 2006: International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation, pp. 14\u201320, July 2006","DOI":"10.1109\/ICSAMOS.2006.300803"}],"container-title":["Communications in Computer and Information Science","Intelligent Software Methodologies, Tools and Techniques"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-22689-7_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,17]],"date-time":"2023-02-17T07:54:09Z","timestamp":1676620449000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-22689-7_10"}},"subtitle":["Safe Coding for Hardware Aliasing"],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319226880","9783319226897"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-22689-7_10","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"1 September 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}