{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,1]],"date-time":"2025-06-01T07:10:09Z","timestamp":1748761809128,"version":"3.41.0"},"publisher-location":"Cham","reference-count":42,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319288642"},{"type":"electronic","value":"9783319288659"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"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":[[2015]]},"DOI":"10.1007\/978-3-319-28865-9_6","type":"book-chapter","created":{"date-parts":[[2016,1,23]],"date-time":"2016-01-23T08:40:02Z","timestamp":1453538402000},"page":"97-115","source":"Crossref","is-referenced-by-count":1,"title":["Intrinsic Code Attestation by Instruction Chaining for Embedded Devices"],"prefix":"10.1007","author":[{"given":"Oliver","family":"Stecklina","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter","family":"Langend\u00f6rfer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Frank","family":"Vater","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thorsten","family":"Kranz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gregor","family":"Leander","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"6_CR1","unstructured":"Running Leon2 on the Altera Nios Development Board, Cyclone Edition"},{"key":"6_CR2","doi-asserted-by":"crossref","unstructured":"Abadi, M., Budiu, M., Erlingsson, \u00da., Ligatti, J.: Control-flow integrity. In: ACM Conference on Computer and Communication Security (CCS), number MSR-TR-2005-18, Alexandria, VA, pp. 340\u2013353, November 2005","DOI":"10.1145\/1102120.1102165"},{"key":"6_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1007\/11576280_9","volume-title":"Formal Methods and Software Engineering","author":"M Abadi","year":"2005","unstructured":"Abadi, M., Budiu, M., Erlingsson, \u00da., Ligatti, J.: A theory of secure control flow. In: Lau, K.-K., Banach, R. (eds.) ICFEM 2005. LNCS, vol. 3785, pp. 111\u2013124. Springer, Heidelberg (2005)"},{"key":"6_CR4","doi-asserted-by":"crossref","unstructured":"Arbaugh, W.A., Farber, D.J., Smith, J.M.: A secure and reliable bootstrap architecture. In: Proceedings of the IEEE Symposium on Security and Privacy, SP 1997, pp. 65. IEEE Computer Society, Washington, DC (1997)","DOI":"10.1109\/SECPRI.1997.601317"},{"key":"6_CR5","unstructured":"Best, R.M.: Microprocessor for executing enciphered programs (1979)"},{"key":"6_CR6","unstructured":"Best, R.M.: Crypto microprocessor for executing enciphered programs (1981)"},{"key":"6_CR7","unstructured":"Best, R.M.: Crypto microprocessor that executes enciphered programs (2004)"},{"key":"6_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"208","DOI":"10.1007\/978-3-642-34961-4_14","volume-title":"Advances in Cryptology \u2013 ASIACRYPT 2012","author":"J Borghoff","year":"2012","unstructured":"Borghoff, J., et al.: PRINCE - a low-latency block cipher for pervasive computing applications - extended abstract. In: Wang, X., Sako, K. (eds.) Advances in Cryptology \u2013 ASIACRYPT 2012. LNCS, vol. 7658, pp. 208\u2013225. Springer, Heidelberg (2012)"},{"key":"6_CR9","unstructured":"Candelore, B., Sprunk, E.: Secure processor with external memory using block chaining and block re-ordering (2000)"},{"key":"6_CR10","doi-asserted-by":"crossref","unstructured":"Castelluccia, C., Francillon, A., Perito, D., Soriente, C.: On the difficulty of software-based attestation of embedded devices. In: Proceedings of the 16th ACM Conference on Computer and Communications Security, CCS 2009, pp. 400\u2013409. ACM, New York (2009)","DOI":"10.1145\/1653662.1653711"},{"key":"6_CR11","doi-asserted-by":"crossref","unstructured":"Chen, L., Landfermann, R., L\u00f6hr, H., Rohe, M., Sadeghi, A.-R., St\u00fcble, C.: A protocol for property-based attestation. In: Proceedings of the First ACM Workshop on Scalable Trusted Computing, STC 2006. ACM, New York (2006)","DOI":"10.1145\/1179474.1179479"},{"key":"6_CR12","doi-asserted-by":"crossref","unstructured":"Chen, X. Dick, R.P., Choudhary, A.: Operating system controlled processor-memory bus encryption. In: Proceedings of the Conference on Design, Automation and Test in Europe, DATE 2008, pp. 1154\u20131159. ACM, New York (2008)","DOI":"10.1109\/DATE.2008.4484834"},{"key":"6_CR13","doi-asserted-by":"crossref","unstructured":"Deng, J., Han, R., Mishra, S.: Secure code distribution in dynamically programmable wireless sensor networks. In: Proceedings of the 5th International Conference on Information Processing in Sensor Networks, IPSN 2006, pp. 292\u2013300. ACM, New York (2006)","DOI":"10.1109\/IPSN.2006.243786"},{"key":"6_CR14","unstructured":"Elbaz, R., Torres, L., Sassatelli, G., Guillemin, P., Anguille, C., Bardouillet, M., Buatois, C., Rigaud, J.B.: Hardware engines for bus encryption: a survey of existing techniques. IEEE (2005)"},{"key":"6_CR15","unstructured":"Eldefrawy, K., Francillon, A., Perito, D., Tsudik, G.: SMART: secure and minimal architecture for (establishing a dynamic) root of trust. In: Proceedings of 19th Annual Network and Distributed System Security Symposium, NDSS 2012, San Diego, CA, USA, February 2012"},{"key":"6_CR16","unstructured":"Eriksson, J., Dunkels, A., Finne, N., \u00d6sterlind, F., Voigt, T., Tsiftes, N.: Demo abstract: MSPsim - an extensible simulator for MSP430-equipped sensor boards. In: Proceedings of the 5th European Conference on Wireless Sensor Networks (EWSN 2008), Bologna, Italy, January 2008"},{"key":"6_CR17","doi-asserted-by":"crossref","unstructured":"Francillon, A., Castelluccia, C.: Code injection attacks on harvard-architecture devices. In: Proceedings of the 15th ACM Conference on Computer and Communications Security, CCS 2008, pp. 15\u201326. ACM, New York (2008)","DOI":"10.1145\/1455770.1455775"},{"key":"6_CR18","doi-asserted-by":"crossref","unstructured":"Francillon, A., Perito, D., Castelluccia, C.: Defending embedded systems against control flow attacks. In: Proceedings of the First ACM Workshop on Secure Execution of Untrusted Code, SecuCode 2009, pp. 19\u201326. ACM, New York (2009)","DOI":"10.1145\/1655077.1655083"},{"key":"6_CR19","doi-asserted-by":"crossref","unstructured":"Gilmont, T., Legat, J.-D., Quisquater, J.-J.: Enhancing security in the memory management unit. In: Proceedings of the 25th EUROMICRO Conference, vol. 1, pp. 449\u2013456. IEEE Computer Society (1999)","DOI":"10.1109\/EURMIC.1999.794507"},{"key":"6_CR20","unstructured":"Girard, O.: openMSP:: Overview (2014)"},{"issue":"9","key":"6_CR21","doi-asserted-by":"publisher","first-page":"1198","DOI":"10.1109\/TC.2008.212","volume":"58","author":"DE Holcomb","year":"2009","unstructured":"Holcomb, D.E., Burleson, W.P., Fu, K.: Power-up sram state as an identifying fingerprint and source of true random numbers. IEEE Trans. Comput. 58(9), 1198\u20131210 (2009)","journal-title":"IEEE Trans. Comput."},{"key":"6_CR22","doi-asserted-by":"crossref","unstructured":"Kil, C., Sezer, E., Azab, A., Ning, P., Zhang, X.: Remote attestation to dynamic system properties: towards providing complete system integrity evidence. In: IEEE\/IFIP International Conference on Dependable Systems Networks, DSN 2009, pp. 115\u2013124, June 2009","DOI":"10.1109\/DSN.2009.5270348"},{"key":"6_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1007\/978-3-540-73275-4_15","volume-title":"Security and Privacy in Ad-hoc and Sensor Networks","author":"C Krau\u00df","year":"2007","unstructured":"Krau\u00df, C., Stumpf, F., Eckert, C.: Detecting node compromise in hybrid wireless sensor networks using attestation techniques. In: Stajano, F., Meadows, C., Capkun, S., Moore, T. (eds.) ESAS 2007. LNCS, vol. 4572, pp. 203\u2013217. Springer, Heidelberg (2007)"},{"key":"6_CR24","first-page":"1153","volume":"47","author":"MG Kuhn","year":"1998","unstructured":"Kuhn, M.G.: Instruction search attack on the bus-encryption security microcontroller ds5002fp. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 47, 1153\u20131157 (1998)","journal-title":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"},{"key":"6_CR25","doi-asserted-by":"crossref","unstructured":"Lattner, C., Adve, V.: LLVM: a compilation framework for lifelong program analysis and transformation. In: Proceedings of the International Symposium on Code Generation and Optimization: Feedback-directed and Runtime Optimization, CGO 2004, p. 75. IEEE Computer Society, Washington, DC (2004)","DOI":"10.1109\/CGO.2004.1281665"},{"key":"6_CR26","doi-asserted-by":"crossref","unstructured":"Lie, D.: Architectural support for copy and tamper resistant software. Architectural Support for Programming Languages and Operating Systems, November 2000","DOI":"10.21236\/ADA419599"},{"issue":"1","key":"6_CR27","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1109\/24.994926","volume":"51","author":"N Oh","year":"2002","unstructured":"Oh, N., Shirvani, P.P., McCluskey, E.J.: Control-flow checking by software signatures. IEEE Transactions on Reliability 51(1), 111\u2013122 (2002)","journal-title":"IEEE Transactions on Reliability"},{"key":"6_CR28","doi-asserted-by":"crossref","unstructured":"Panic, G., Basmer, T., Schrape, O., Peter, S., Vater, F., Tittelbach-Helmrich, K.: Sensor node processor for security applications. In: Proceedings of 18th IEEE International Conference on Electronics, Circuits and Systems, ICECS 2011, Beirut, Lebanon, pp. 81\u201384, December 2011","DOI":"10.1109\/ICECS.2011.6122219"},{"key":"6_CR29","doi-asserted-by":"crossref","unstructured":"Park, T., Shin, K.G.: Soft tamper-proofing via program integrity verification in wireless sensor networks. IEEE Trans. on Mobile Computing 4(3), May 2005","DOI":"10.1109\/TMC.2005.44"},{"key":"6_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"643","DOI":"10.1007\/978-3-642-15497-3_39","volume-title":"Computer Security \u2013 ESORICS 2010","author":"D Perito","year":"2010","unstructured":"Perito, D., Tsudik, G.: Secure code update for embedded devices via proofs of secure erasure. In: Gritzalis, D., Preneel, B., Theoharidou, M. (eds.) ESORICS 2010. LNCS, vol. 6345, pp. 643\u2013662. Springer, Heidelberg (2010)"},{"key":"6_CR31","doi-asserted-by":"crossref","unstructured":"Reis, G.A., Chang, J., Vachharajani, N., Rangan, R., August, D.I.: Swift: software implemented fault tolerance. In: Proceedings of the International Symposium on Code Generation and Optimization, CGO 2005, pp. 243\u2013254. IEEE Computer Society, Washington, DC (2005)","DOI":"10.1109\/CGO.2005.34"},{"key":"6_CR32","unstructured":"Seshadri, A., Perrig, A., Doorn, L.V., Khosla, P.: SWATT: SoftWare-based ATTestation for embedded devices. In: Proceedings of the IEEE Symposium on Security and Privacy, Oakland, CA, USA (2004)"},{"key":"6_CR33","doi-asserted-by":"crossref","unstructured":"Shacham, H.: The geometry of innocent flesh on the bone: return-into-libc without function calls (on the x86). In: Proceedings of the 14th ACM Conference on Computer and Communications Security, CCS 2007, New York, NY, USA (2007)","DOI":"10.1145\/1315245.1315313"},{"key":"6_CR34","doi-asserted-by":"crossref","unstructured":"Shacham, H., Page, M., Pfaff, B., Goh, E.-J., Modadugu, N., Boneh, D.: On the effectiveness of address-space randomization. In: Proceedings of the 11th ACM Conference on Computer and Communications Security, CCS 2004, pp. 298\u2013307. ACM, New York (2004)","DOI":"10.1145\/1030083.1030124"},{"issue":"1","key":"6_CR35","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1145\/353323.353383","volume":"3","author":"D Spinellis","year":"2000","unstructured":"Spinellis, D.: Reflection as a mechanism for software integrity verification. ACM Trans. Inf. Syst. Secur. 3(1), 51\u201362 (2000)","journal-title":"ACM Trans. Inf. Syst. Secur."},{"key":"6_CR36","doi-asserted-by":"crossref","unstructured":"Stecklina, O., Methfessel, M.: A tiny scale VLIW processor for real-time constrained embedded control tasks. In: Proceedings of the 17th Euromicro Conference on Digital Systems Design, DSD 2014, Verona, Italy, August 2014","DOI":"10.1109\/DSD.2014.31"},{"key":"6_CR37","doi-asserted-by":"crossref","unstructured":"Suh, G.E., O\u2018Donnell, C.W., Sachdev, I., Devadas, S.: Design and implementation of the aegis singlechip secure processor using physical random functions. Technical report, MIT CSAIL, November 2004","DOI":"10.1145\/1080695.1069974"},{"key":"6_CR38","unstructured":"Texas Instruments, Dallas, TX, USA. MSP430 Programming via the bootstrap loader (BSL), slau319l edition, September 2014"},{"key":"6_CR39","unstructured":"Urban, R., Sch\u00f6lzel, M., Vierhaus, H.T.: Entwicklungsumgebung fr den compilerzentrierten Mikroprozessorentwurf (CoMet). In: Tagungsband Dresdner Arbeitstagung Schaltungs- und Systementwurf, DASS 2014. Fraunhofer Verlag (2014)"},{"key":"6_CR40","unstructured":"Usselmann, R.: AES (Rijndael) IP Core:: Overview (2013)"},{"key":"6_CR41","doi-asserted-by":"publisher","first-page":"188","DOI":"10.1524\/itit.2007.49.3.188","volume":"49","author":"F Vater","year":"2007","unstructured":"Vater, F., Langend\u00f6rfer, P.: An Area Efficient Realisation of AES for Wireless Devices. it - Information Technology 49, 188\u2013193 (2007)","journal-title":"it - Information Technology"},{"key":"6_CR42","unstructured":"Venkatasubramanian, R., Hayes, J., Murray, B.: Low-cost on-line fault detection using control flow assertions. In: Proceedings of the 9th IEEE Conference on On-Line Testing Symposium, IOLTS 2003, pp. 137\u2013143, July 2003"}],"container-title":["Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering","Security and Privacy in Communication Networks"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-28865-9_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,1]],"date-time":"2025-06-01T06:36:54Z","timestamp":1748759814000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-28865-9_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319288642","9783319288659"],"references-count":42,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-28865-9_6","relation":{},"ISSN":["1867-8211","1867-822X"],"issn-type":[{"type":"print","value":"1867-8211"},{"type":"electronic","value":"1867-822X"}],"subject":[],"published":{"date-parts":[[2015]]}}}