{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:18:05Z","timestamp":1742912285665,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":49,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662493007"},{"type":"electronic","value":"9783662493014"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"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":[[2016]]},"DOI":"10.1007\/978-3-662-49301-4_26","type":"book-chapter","created":{"date-parts":[[2016,3,18]],"date-time":"2016-03-18T11:15:43Z","timestamp":1458299743000},"page":"417-438","source":"Crossref","is-referenced-by-count":2,"title":["Secure Application Execution in Mobile Devices"],"prefix":"10.1007","author":[{"given":"Mehari G.","family":"Msgna","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Houda","family":"Ferradi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Raja Naeem","family":"Akram","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Konstantinos","family":"Markantonakis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,3,18]]},"reference":[{"key":"26_CR1","unstructured":"GlobalPlatform: GlobalPlatform Card Specification, Version 2.2 (2006)"},{"key":"26_CR2","unstructured":"Java Card Platform Specification: Application Programming Interface, Runtime Environment Specification, Virtual Machine Specification (2006). \n                      http:\/\/java.sun.com\/javacard\/specs.html"},{"key":"26_CR3","unstructured":"Device, G.: GPD\/STIP Specification Overview, Specification Version 2.3, GlobalPlatform (2007)"},{"key":"26_CR4","unstructured":"GlobalPlatform Device Technology: Device Application Security Management - Concepts and Description Document Specification. Online (2008)"},{"key":"26_CR5","unstructured":"M-Shield Mobile Security Technology: Making Wireless Secure. Whilte Paper, Texas Instruments (2008). \n                      http:\/\/focus.ti.com\/pdfs\/wtbu\/ti_mshield_whitepaper.eps"},{"key":"26_CR6","unstructured":"TCG Mobile Trusted Module Specification. Online (2008)"},{"key":"26_CR7","unstructured":"ARM Security Technology: Building a Secure System using TrustZone Technology. White Paper PRD29-GENC-009492C, ARM (2009)"},{"key":"26_CR8","unstructured":"GlobalPlatform Device Technology: TEE System Architecture. Specification Version 0.4, GlobalPlatform (2011)"},{"key":"26_CR9","unstructured":"Trusted Platform Module Main Specification"},{"key":"26_CR10","unstructured":"Trusted Computing Group, Online (2011)"},{"key":"26_CR11","doi-asserted-by":"publisher","unstructured":"Brickell, E., Camenisch, J., Chen, L.: Direct anonymous attestation. In: Proceedings of the 11th ACM Conference on Computer and Communications Security (CCS 2004), pp. 132\u2013145. ACM, New York (2004). \n                      http:\/\/doi.acm.org\/10.1145\/1030083.1030103\n                      \n                    , doi:\n                      10.1145\/1030083.1030103","DOI":"10.1145\/1030083.1030103"},{"key":"26_CR12","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. In: Proceedings of the 17th Conference on Security Symposium, pp. 45\u201360. USENIX Association, Berkeley, CA, USA (2008)"},{"key":"26_CR13","unstructured":"Kostiainen, K., Ekberg, J.E., Asokan, N., Rantala, A.: On-board credentials with open provisioning. In: Proceedings of the 4th International Symposium on Information. Computer, and Communications Security (ASIACCS 2009), pp. 104\u2013115. ACM, New York (2009). \n                      http:\/\/doi.acm.org\/10.1145\/1533057.1533074"},{"key":"26_CR14","doi-asserted-by":"publisher","first-page":"582","DOI":"10.1109\/MDT.2007.196","volume":"24","author":"P Wilson","year":"2007","unstructured":"Wilson, P., Frey, A., Mihm, T., Kershaw, D., Alves, T.: Implementing embedded security on dual-virtual-CPU systems. IEEE Des. Test Comput. 24, 582\u2013591 (2007)","journal-title":"IEEE Des. Test Comput."},{"key":"26_CR15","volume-title":"Advanced Compiler Design and Implementation","author":"SS Muchnick","year":"1997","unstructured":"Muchnick, S.S.: Advanced Compiler Design and Implementation. Morgan Kaufmann, San Francisco (1997)"},{"key":"26_CR16","unstructured":"Bar-El, H., Choukri, H., Naccache, D., Tunstall, M., Whelan, C.: The sorcerer\u2019s apprentice guide to fault attacks. In: IACR Cryptology ePrint Archive (2004). \n                      http:\/\/eprint.iacr.org\/2004\/100"},{"key":"26_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1007\/978-3-642-39884-1_19","volume-title":"Financial Cryptography and Data Security","author":"J Maebe","year":"2013","unstructured":"Maebe, J., De Keulenaer, R., De Sutter, B., De Bosschere, K.: Mitigating smart card fault injection with link-time code rewriting: a feasibility study. In: Sadeghi, A.-R. (ed.) FC 2013. LNCS, vol. 7859, pp. 221\u2013229. Springer, Heidelberg (2013)"},{"key":"26_CR18","unstructured":"Defense Advanced Research Projects Agency: DARPA BAA06-40, A TRUST for Integrated Circuits Visited, September 2014"},{"key":"26_CR19","unstructured":"Defense Science Board Task Force: High Performance Microchip Supply. \n                      http:\/\/www.acq.osd.mil\/dsb\/reports\/ADA435563.eps\n                      \n                    . Accessed September 2014"},{"key":"26_CR20","unstructured":"Lieberman, J.I.: The national security aspects of the global migration of the U.S. semiconductor industry. \n                      http:\/\/www.fas.org\/irp\/congress\/2003_cr\/s060503.html\n                      \n                    . Accessed September 2014"},{"key":"26_CR21","unstructured":"Diablo: Diablo is a better link-time optimizer. \n                      https:\/\/diablo.elis.ugent.be\/\n                      \n                    . Accessed October 2014"},{"key":"26_CR22","unstructured":"Oxford Dictionaries: Definition of obfuscate. \n                      http:\/\/www.oxforddictionaries.com\/definition\/english\/obfuscate"},{"key":"26_CR23","unstructured":"U.S. Department Of Commerce: Defense Industrial Base Assessment: Counterfeit Electronics. Bureau of Industry and Security, Office of Technology Evaluation. \n                      http:\/\/www.bis.doc.gov\/defenseindustrialbaseprograms\/osies\/defmarketresearchrpts\/final_counterfeit_electronics_report.eps\n                      \n                    . Accessed January 2010"},{"key":"26_CR24","doi-asserted-by":"crossref","unstructured":"Koushanfar, F., Sadeghi, A.-R., Seudie, H.: EDA for secure and dependable cybercars: Challenges and opportunities. In: 49th ACM\/EDAC\/IEEE Design Automation Conference (DAC), pp. 220\u2013228 (2012)","DOI":"10.1145\/2228360.2228402"},{"key":"26_CR25","doi-asserted-by":"crossref","unstructured":"Agrawal, D., Baktir, S., Karakoyunlu, D., Rohatgi, P., Sunar, B.: Trojan detection using IC fingerprinting. In: IEEE Symposium on Security and Privacy (SP 2007), pp. 296\u2013310 (2007)","DOI":"10.1109\/SP.2007.36"},{"key":"26_CR26","doi-asserted-by":"publisher","unstructured":"Arora, D., Ravi, S., Raghunathan, A., Jha, N.K.: Secure embedded processing through hardware-assisted run-time monitoring. In: Design, Automation and Test in Europe, vol. 1, pp. 178\u2013183 (2005). doi:\n                      10.1109\/DATE.2005.266","DOI":"10.1109\/DATE.2005.266"},{"key":"26_CR27","doi-asserted-by":"crossref","unstructured":"Patel, K., Parameswaran, S., Shee, S.L.: Ensuring secure program execution in multiprocessor embedded systems: a case study. In: IEEE\/ACM\/IFIP International Conference on Hardware\/Software Codesign and System Synthesis (CODES+ISSS), pp. 57\u201362 (2007)","DOI":"10.1145\/1289816.1289833"},{"key":"26_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"388","DOI":"10.1007\/3-540-48405-1_25","volume-title":"Advances in Cryptology - CRYPTO \u201999","author":"PC Kocher","year":"1999","unstructured":"Kocher, P.C., Jaffe, J., Jun, B.: Differential power analysis. In: Wiener, M. (ed.) CRYPTO 1999. LNCS, vol. 1666, p. 388. Springer, Heidelberg (1999)"},{"key":"26_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"138","DOI":"10.1007\/978-3-540-72354-7_12","volume-title":"Information Security Theory and Practices","author":"D Vermoen","year":"2007","unstructured":"Vermoen, D., Witteman, M., Gaydadjiev, G.N.: Reverse engineering java card applets using power analysis. In: Sauveron, D., Markantonakis, K., Bilas, A., Quisquater, J.-J. (eds.) WISTP 2007. LNCS, vol. 4462, pp. 138\u2013149. Springer, Heidelberg (2007)"},{"key":"26_CR30","unstructured":"Quisquater, J.-J., Samyde, D.: Automatic code recognition for smartcards using a kohonen neural network. In: CARDIS, USENIX 21\u201322 November, San Jose, CA, USA (2002)"},{"key":"26_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1007\/978-3-642-17499-5_4","volume-title":"Transactions on Computational Science X: Special Issue on Security in Computing, Part I","author":"T Eisenbarth","year":"2010","unstructured":"Eisenbarth, T., Paar, C., Weghenkel, B.: Building a side channel based disassembler. In: Gavrilova, M.L., Tan, C.J.K., Moreno, E.D. (eds.) Transactions on Computational Science X. LNCS, vol. 6340, pp. 78\u201399. Springer, Heidelberg (2010)"},{"key":"26_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1007\/978-3-319-06320-1_11","volume-title":"Information Security Practice and Experience","author":"M Msgna","year":"2014","unstructured":"Msgna, M., Markantonakis, K., Mayes, K.: Precise instruction-level side channel profiling of embedded processors. In: Huang, X., Zhou, J. (eds.) ISPEC 2014. LNCS, vol. 8434, pp. 129\u2013143. Springer, Heidelberg (2014). doi:\n                      10.1007\/978-3-319-06320-1_11"},{"key":"26_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1007\/978-3-319-10175-0_18","volume-title":"Constructive Side-Channel Analysis and Secure Design","author":"M Msgna","year":"2014","unstructured":"Msgna, M., Markantonakis, K., Naccache, D., Mayes, K.: Verifying software integrity in embedded systems: a side channel approach. In: Prouff, E. (ed.) COSADE 2014. LNCS, vol. 8622, pp. 261\u2013280. Springer, Heidelberg (2014). doi:\n                      10.1007\/978-3-319-10175-0_18"},{"key":"26_CR34","unstructured":"What is SHA-1. \n                      https:\/\/en.wikipedia.org\/wiki\/SHA-1"},{"key":"26_CR35","unstructured":"Netlist Definition. Xilinx. \n                      http:\/\/www.xilinx.com\/itp\/xilinx10\/help\/iseguide\/mergedProjects\/constraints_editor\/html\/ce_d_netlist.htm"},{"key":"26_CR36","unstructured":"iOS Security Sandbox white paper. \n                      https:\/\/www.cs.auckland.ac.nz\/courses\/compsci702s1c\/lectures\/rs-slides\/6-iOS-SecuritySandbox.eps"},{"key":"26_CR37","unstructured":"https:\/\/www.apple.com\/privacy\/docs\/iOS_Security_Guide_Oct_2014.eps"},{"key":"26_CR38","unstructured":"http:\/\/en.wikipedia.org\/wiki\/XNU"},{"key":"26_CR39","unstructured":"http:\/\/en.wikipedia.org\/wiki\/Android"},{"key":"26_CR40","unstructured":"http:\/\/developer.android.com\/tools\/publishing\/app-signing.html"},{"key":"26_CR41","unstructured":"http:\/\/developer.android.com\/guide\/topics\/security\/permissions.html"},{"key":"26_CR42","unstructured":"What is MAC\/DAC. \n                      https:\/\/www.internetsociety.org\/sites\/default\/files\/02_4.eps"},{"key":"26_CR43","unstructured":"http:\/\/www.tclouds-project.eu\/downloads\/factsheets\/tclouds-factsheet-07-attestation.eps"},{"key":"26_CR44","unstructured":"Zeller, T.: The ghost in the CD; Sony BMG stirs a debate over software used to guard content, The New York Times, c1, November 14 (2005)"},{"key":"26_CR45","unstructured":"http:\/\/en.wikipedia.org\/wiki\/CIH_(computer_virus)"},{"key":"26_CR46","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1007\/11761679_4","volume-title":"Advances in Cryptology - EUROCRYPT 2006","author":"V Gratzer","year":"2006","unstructured":"Gratzer, V., Naccache, D.: Alien vs. quine, the vanishing circuit and other tales from the industry\u2019s crypt. In: Vaudenay, S. (ed.) EUROCRYPT 2006. LNCS, vol. 4004, pp. 48\u201358. Springer, Heidelberg (2006)"},{"key":"26_CR47","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"441","DOI":"10.1007\/978-3-540-28632-5_32","volume-title":"Cryptographic Hardware and Embedded Systems - CHES 2004","author":"B Chevallier-Mames","year":"2004","unstructured":"Chevallier-Mames, B., Naccache, D., Paillier, P., Pointcheval, D.: How to disembed a program? In: Joye, M., Quisquater, J.-J. (eds.) CHES 2004. LNCS, vol. 3156, pp. 441\u2013454. Springer, Heidelberg (2004)"},{"key":"26_CR48","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"236","DOI":"10.1007\/BFb0054130","volume-title":"Advances in Cryptology - EUROCRYPT \u201998","author":"M Bellare","year":"1998","unstructured":"Bellare, M., Garay, J.A., Rabin, T.: Fast batch verification for modular exponentiation and digital signatures. In: Nyberg, K. (ed.) EUROCRYPT 1998. LNCS, vol. 1403, pp. 236\u2013250. Springer, Heidelberg (1998)"},{"key":"26_CR49","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"274","DOI":"10.1007\/3-540-48285-7_24","volume-title":"Advances in Cryptology - EUROCRYPT \u201993","author":"JC Benaloh","year":"1994","unstructured":"Benaloh, J.C., de Mare, M.: One-way accumulators: a decentralized alternative to digital signatures. In: Helleseth, T. (ed.) EUROCRYPT 1993. LNCS, vol. 765, pp. 274\u2013285. Springer, Heidelberg (1994)"}],"container-title":["Lecture Notes in Computer Science","The New Codebreakers"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-49301-4_26","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T14:51:44Z","timestamp":1559400704000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-49301-4_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783662493007","9783662493014"],"references-count":49,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-49301-4_26","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}