{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,29]],"date-time":"2025-09-29T07:46:37Z","timestamp":1759131997790},"publisher-location":"Berlin, Heidelberg","reference-count":40,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540309123"},{"type":"electronic","value":"9783540316152"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11601494_3","type":"book-chapter","created":{"date-parts":[[2005,12,5]],"date-time":"2005-12-05T13:06:22Z","timestamp":1133787982000},"page":"27-41","source":"Crossref","is-referenced-by-count":68,"title":["Remote Software-Based Attestation for Wireless Sensors"],"prefix":"10.1007","author":[{"given":"Mark","family":"Shaneck","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Karthikeyan","family":"Mahadevan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vishal","family":"Kher","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yongdae","family":"Kim","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"3_CR1","unstructured":"Atmel AVR 8-bit RISC processor, http:\/\/www.atmel.com\/atmel\/products\/prod23.htm"},{"key":"3_CR2","unstructured":"Mica2 series, http:\/\/www.xbow.com\/Products\/Product_pdf_files\/Wireless_pdf\/MICA2_Datasheet.pdf"},{"key":"3_CR3","unstructured":"TI MSP-430 processor, http:\/\/focus.ti.com\/mcu\/docs\/techdocs.tsp?navSection=user_guides&templateId=5246&familyId=342"},{"key":"3_CR4","doi-asserted-by":"crossref","unstructured":"Aucsmith, D.: Tamper resistant software. In: Proceedings of the First Information Hiding Workshop (1996)","DOI":"10.1007\/3-540-61996-8_49"},{"key":"3_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-44647-8_1","volume-title":"Advances in Cryptology - CRYPTO 2001","author":"B. Barak","year":"2001","unstructured":"Barak, B., Goldreich, O., Impagliazzo, R., Rudich, S., Sahai, A., Vadhan, S.P., Yang, K.: On the (im)possibility of obfuscating programs. In: Kilian, J. (ed.) CRYPTO 2001. LNCS, vol.\u00a02139, pp. 1\u201318. Springer, Heidelberg (2001)"},{"key":"3_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"160","DOI":"10.1007\/3-540-47870-1_10","volume-title":"Security and Privacy in Digital Rights Management","author":"H. Chang","year":"2002","unstructured":"Chang, H., Atallah, M.J.: Protecting software code by guards. In: Sander, T. (ed.) DRM 2001. LNCS, vol.\u00a02320, pp. 160\u2013175. Springer, Heidelberg (2002)"},{"key":"3_CR7","doi-asserted-by":"crossref","unstructured":"Cohen, F.: Operating system protection through program evolution. Computers and Security (1993)","DOI":"10.1016\/0167-4048(93)90054-9"},{"key":"3_CR8","unstructured":"Collberg, C., Thomborson, C., Low, D.: A taxonomy of obfuscating transformations. Technical report, Technical Report 148, Department of Computer Science, University of Auckland (July 1997)"},{"key":"3_CR9","doi-asserted-by":"crossref","unstructured":"Collberg, C., Thomborson, C., Low, D.: Manufacturing cheap, resilient, and stealthy opaque constructs. In: Principles of Programming Languages 1998, POPL 1998, San Diego, CA (January 1998)","DOI":"10.1145\/268946.268962"},{"key":"3_CR10","doi-asserted-by":"publisher","first-page":"735","DOI":"10.1109\/TSE.2002.1027797","volume":"28","author":"C.S. Collberg","year":"2002","unstructured":"Collberg, C.S., Thomborson, C.: Watermarking, tamper-proofing, and obfuscation - tools for software protection. IEEE Transactions on Software Engineering\u00a028, 735\u2013746 (2002)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"3_CR11","doi-asserted-by":"crossref","unstructured":"Wurster, A.S.G., van Oorschot, P.C.: A generic attack on checksumming-based software tamper resistance. In: Proceedings of the IEEE Symposium on Security and Privacy (May 2005)","DOI":"10.1109\/SP.2005.2"},{"key":"3_CR12","doi-asserted-by":"crossref","unstructured":"Gassend, B., Clarke, D., van Dijk, M., Devadas, S.: Controlled Physical Random Functions. In: Proceedings of the 18th Annual Computer Security Conference (December 2002)","DOI":"10.1109\/CSAC.2002.1176287"},{"key":"3_CR13","unstructured":"Gassend, B.L.P.: Physical random functions. Master\u2019s thesis, Massachusetts Institute of Technology (February 2003)"},{"key":"3_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"443","DOI":"10.1007\/3-540-44448-3_34","volume-title":"Advances in Cryptology - ASIACRYPT 2000","author":"S. Hada","year":"2000","unstructured":"Hada, S.: Zero-knowledge and code obfuscation. In: Okamoto, T. (ed.) ASIACRYPT 2000. LNCS, vol.\u00a01976, pp. 443\u2013457. Springer, Heidelberg (2000)"},{"key":"3_CR15","doi-asserted-by":"crossref","unstructured":"Hill, J., Szewczyk, R., Woo, A., Hollar, S., Culler, D., Pister, K.: System architecture directions for network sensors. In: ASPLOS-IX: Proceedings of the ninth international conference on Architectural support for programming languages and operating systems, Cambridge (November 2000)","DOI":"10.1145\/378993.379006"},{"key":"3_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1007\/3-540-47870-1_9","volume-title":"Security and Privacy in Digital Rights Management","author":"B. Horne","year":"2002","unstructured":"Horne, B., Matheson, L.R., Sheehan, C., Tarjan, R.E.: Dynamic self-checking techniques for improved tamper resistance. In: Sander, T. (ed.) DRM 2001. LNCS, vol.\u00a02320, pp. 141\u2013159. Springer, Heidelberg (2002)"},{"issue":"1","key":"3_CR17","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/239912.239913","volume":"19","author":"S. Horwitz","year":"1997","unstructured":"Horwitz, S.: Precise flow-insensitive may-alias analysis is np-hard. ACM Trans. Program. Lang. Syst.\u00a019(1), 1\u20136 (1997), doi:10.1145\/239912.239913","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"3_CR18","doi-asserted-by":"crossref","unstructured":"Jeong, J., Culler, D.: Incremental network programming for wireless sensors. In: The First IEEE International Conference on Sensor and Ad hoc Communications and Networks (October 2004)","DOI":"10.1109\/SAHCN.2004.1381899"},{"key":"3_CR19","unstructured":"Jr., N.L.P., Fraser, T., Molina, J., Arbaugh, W.A.: Copilot - a coprocessor-based kernel runtime integrity monitor. In: USENIX Security Symposium, pp. 179\u2013194 (2004)"},{"key":"3_CR20","unstructured":"Kennell, R., Jamieson, L.H.: Establishing the genuinity of remote computer systems. In: 12th USENIX Security Symposium, August 2003, pp. 295\u2013310. USENIX Association (2003)"},{"key":"3_CR21","unstructured":"Kennell, R., Jamieson, L.H.: An analysis of proposed attacks against genuinity tests. Technical report, Purdue University, 09, CERIAS TR 2004-27 (2004)"},{"key":"3_CR22","unstructured":"Kruegel, C., Robertson, W., Valeur, F., Vigna, G.: Static disassembly of obfuscated binaries. In: Proceedings of USENIX Security 2004, San Diego, CA, August 2004, pp. 255\u2013270 (2004)"},{"key":"3_CR23","unstructured":"Kuennen, T.: Small science will bring big changes to roads, http:\/\/www.betterroads.com\/articles\/jul04a.htm"},{"key":"3_CR24","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1145\/99583.99599","volume-title":"POPL 1991: Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages","author":"W. Landi","year":"1991","unstructured":"Landi, W., Ryder, B.G.: Pointer-induced aliasing: a problem taxonomy. In: POPL 1991: Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Orlando, Florida, United States, pp. 93\u2013103. ACM Press, New York (1991)"},{"key":"3_CR25","first-page":"168","volume-title":"ASPLOS-IX: Proceedings of the ninth international conference on Architectural support for programming languages and operating systems","author":"D. Lie","year":"2000","unstructured":"Lie, D., Thekkath, C., Mitchell, M., Lincoln, P., Boneh, D., Mitchell, J., Horowitz, M.: Architectural support for copy and tamper resistant software. In: ASPLOS-IX: Proceedings of the ninth international conference on Architectural support for programming languages and operating systems, pp. 168\u2013177. ACM Press, New York (2000)"},{"key":"3_CR26","doi-asserted-by":"publisher","first-page":"290","DOI":"10.1145\/948109.948149","volume-title":"CCS 2003: Proceedings of the 10th ACM conference on Computer and communications security","author":"C. Linn","year":"2003","unstructured":"Linn, C., Debray, S.: Obfuscation of executable code to improve resistance to static disassembly. In: CCS 2003: Proceedings of the 10th ACM conference on Computer and communications security, pp. 290\u2013299. ACM Press, New York (2003)"},{"key":"3_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1007\/978-3-540-24676-3_2","volume-title":"Advances in Cryptology - EUROCRYPT 2004","author":"B.Y.S. Lynn","year":"2004","unstructured":"Lynn, B.Y.S., Prabhakaran, M., Sahai, A.: Positive results and techniques for obfuscation. In: Cachin, C., Camenisch, J.L. (eds.) EUROCRYPT 2004. LNCS, vol.\u00a03027, pp. 20\u201339. Springer, Heidelberg (2004)"},{"key":"3_CR28","unstructured":"Ogiso, T., Sakabe, Y., Soshi, M., Miyaji, A.: Software tamper resistance based on the difficulty of interprocedural analysis (August 2002)"},{"key":"3_CR29","unstructured":"Ogiso, T., Sakabe, Y., Soshi, M., Miyaji, A.: Software obfuscation on a theoretical basis and its implementation. In: IEICE Transactions on Fundamentals, January 2003, vol.\u00a0E86-A, pp. 176\u2013186 (2003)"},{"issue":"5","key":"3_CR30","doi-asserted-by":"publisher","first-page":"1467","DOI":"10.1145\/186025.186041","volume":"16","author":"G. Ramalingam","year":"1994","unstructured":"Ramalingam, G.: The undecidability of aliasing. ACM Trans. Program. Lang. Syst.\u00a016(5), 1467\u20131471 (1994), doi:10.1145\/186025.186041","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"3_CR31","doi-asserted-by":"publisher","first-page":"308","DOI":"10.1145\/1030083.1030125","volume-title":"CCS 2004: Proceedings of the 11th ACM conference on Computer and communications security","author":"R. Sailer","year":"2004","unstructured":"Sailer, R., Jaeger, T., Zhang, X., van Doorn, L.: Attestation-based policy enforcement for remote access. In: CCS 2004: Proceedings of the 11th ACM conference on Computer and communications security, pp. 308\u2013317. ACM Press, New York (2004)"},{"key":"3_CR32","doi-asserted-by":"crossref","unstructured":"Seshadri, A., Perrig, A., van Doorn, L., Khosla, P.: SWATT: Software-based Attestation for Embedded Devicesi. In: Proceedings of the IEEE Symposium on Security and Privacy (May 2004)","DOI":"10.1109\/SECPRI.2004.1301329"},{"key":"3_CR33","unstructured":"Shankar, U., Chew, M., Tygar, J.: Side effects are not sufficient to authenticate software. In: 13th USENIX Security Symposium, August 2004, USENIX Association (2004)"},{"key":"3_CR34","unstructured":"Shi, E., Perrig, A., Doorn, L.V.: Bind: A time-of-use attestation service for secure distributed systems. In: Proceedings of the IEEE Symposium on Security and Privacy (May 2005)"},{"key":"3_CR35","doi-asserted-by":"publisher","first-page":"160","DOI":"10.1145\/782814.782838","volume-title":"ICS 2003: Proceedings of the 17th annual international conference on Supercomputing","author":"G.E. Suh","year":"2003","unstructured":"Suh, G.E., Clarke, D., Gassend, B., van Dijk, M., Devadas, S.: AEGIS: architecture for tamper-evident and tamper-resistant processing. In: ICS 2003: Proceedings of the 17th annual international conference on Supercomputing, pp. 160\u2013171. ACM Press, New York (2003)"},{"key":"3_CR36","doi-asserted-by":"crossref","unstructured":"Varnovsky, N.P., Zakharov, V.A.: On the possibility of provably secure obfuscating programs. In: Ershov Memorial Conference, pp. 91\u2013102 (2003)","DOI":"10.1007\/978-3-540-39866-0_11"},{"key":"3_CR37","unstructured":"Wang, C., Hill, J., Knight, J., Davidson, J.: Software tamper resistance: Obstructing static analysis of programs. Technical report, University of Virginia, Charlottesville, VA, USA (2000)"},{"key":"3_CR38","unstructured":"Wroblewski, G.: General Method of Program Code Obfuscation. PhD thesis, Wroclaw University of Technology, Institute of Engineering Cybernetics (2002)"},{"key":"3_CR39","first-page":"351","volume-title":"MICRO 36: Proceedings of the 36th Annual IEEE\/ACM International Symposium on Microarchitecture","author":"J. Yang","year":"2003","unstructured":"Yang, J., Zhang, Y., Gao, L.: Fast secure processor for inhibiting software piracy and tampering. In: MICRO 36: Proceedings of the 36th Annual IEEE\/ACM International Symposium on Microarchitecture, Washington, DC, USA, p. 351. IEEE Computer Society Press, Los Alamitos (2003)"},{"key":"3_CR40","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1145\/1024393.1024403","volume-title":"ASPLOS-XI: Proceedings of the 11th international conference on Architectural support for programming languages and operating systems","author":"X. Zhuang","year":"2004","unstructured":"Zhuang, X., Zhang, T., Pande, S.: HIDE: an infrastructure for efficiently protecting information leakage on the address bus. In: ASPLOS-XI: Proceedings of the 11th international conference on Architectural support for programming languages and operating systems, Boston, MA, USA, pp. 72\u201384. ACM Press, New York (2004)"}],"container-title":["Lecture Notes in Computer Science","Security and Privacy in Ad-hoc and Sensor Networks"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11601494_3.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:01:59Z","timestamp":1619506919000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11601494_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540309123","9783540316152"],"references-count":40,"URL":"https:\/\/doi.org\/10.1007\/11601494_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}