{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T19:32:49Z","timestamp":1743103969035,"version":"3.40.3"},"publisher-location":"Cham","reference-count":48,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319271781"},{"type":"electronic","value":"9783319271798"}],"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-27179-8_1","type":"book-chapter","created":{"date-parts":[[2016,1,14]],"date-time":"2016-01-14T07:09:05Z","timestamp":1452755345000},"page":"3-24","source":"Crossref","is-referenced-by-count":3,"title":["Secure and Trusted Application Execution on Embedded Devices"],"prefix":"10.1007","author":[{"given":"Konstantinos","family":"Markantonakis","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Raja Naeem","family":"Akram","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mehari G.","family":"Msgna","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,1,15]]},"reference":[{"key":"1_CR1","unstructured":"FIPS 140\u20132: Security Requirements for Cryptographic Modules, May 2005. \n                      http:\/\/csrc.nist.gov\/publications\/fips\/fips140-2\/fips1402.pdf"},{"key":"1_CR2","unstructured":"Common Criteria for Information Technology Security Evaluation, Part 1: Introduction and General Model, Part 2: Security Functional Requirements, Part 3: Security Assurance Requirements, August 2006. \n                      http:\/\/www.commoncriteriaportal.org\/thecc.html"},{"key":"1_CR3","unstructured":"GlobalPlatform: GlobalPlatform Card Specification, Version 2.2, March 2006"},{"key":"1_CR4","unstructured":"GlobalPlatform Device: GPD\/STIP Specification Overview. Specification Version 2.3, GlobalPlatform, August 2007"},{"key":"1_CR5","unstructured":"Trusted Computing Group, TCG Specification Architecture Overview. revision 1.4, The Trusted Computing Group (TCG), Beaverton, Oregon, USA, August 2007. \n                      http:\/\/www.trustedcomputinggroup.org\/files\/resource_files\/AC652DE1-1D09-3519-ADA026A0C05CFAC2\/TCG_1_4_Architecture_Overview.pdf"},{"key":"1_CR6","unstructured":"GlobalPlatform Device Technology: Device Application Security Management - Concepts and Description Document Specification, April 2008"},{"key":"1_CR7","unstructured":"ARM Security Technology: Building a Secure System using TrustZone Technology. White Paper PRD29-GENC-009492C, ARM (2009)"},{"key":"1_CR8","unstructured":"Java Card Platform Specification: Classic Edition; Application Programming Interface, Runtime Environment Specification, Virtual Machine Specification, Connected Edition; Runtime Environment Specification, Java Servlet Specification, Application Programming Interface, Virtual Machine Specification, Sample Structure of Application Modules, May 2009. \n                      http:\/\/java.sun.com\/javacard\/3.0.1\/specs.jsp"},{"key":"1_CR9","unstructured":"GlobalPlatform Device Technology: TEE System Architecture. Specification Version 0.4, GlobalPlatform, October 2011"},{"key":"1_CR10","unstructured":"Inquiry into Counterfeit Electronic Parts in the Department of Defense Supply Chain. Online, September 2012. \n                      http:\/\/www.levin.senate.gov\/download\/?id=24b3f08d-02a3-42d0-bc75-5f673f3a8c93"},{"key":"1_CR11","unstructured":"Winning the Battle Against Counterfeit Semiconductor Products. Online, August 2013. \n                      http:\/\/www.semiconductors.org\/clientuploads\/Product"},{"key":"1_CR12","unstructured":"Agency, D.A.R.P.: Darpa baa06-40, a trust for integrated circuits, May 2013. \n                      https:\/\/www.fbo.gov\/index?s=opportunity&mode=form&id=db4ea611cad3764814b6937fcab2180a&tab=core&_cview=1"},{"key":"1_CR13","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":"1_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"118","DOI":"10.1007\/978-3-642-12510-2_9","volume-title":"Smart Card Research and Advanced Application","author":"RN Akram","year":"2010","unstructured":"Akram, R.N., Markantonakis, K., Mayes, K.: Firewall mechanism in a user centric smart card ownership model. In: Gollmann, D., Lanet, J.-L., Iguchi-Cartigny, J. (eds.) CARDIS 2010. LNCS, vol. 6035, pp. 118\u2013132. Springer, Heidelberg (2010)"},{"key":"1_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"208","DOI":"10.1007\/978-3-642-22497-3_14","volume-title":"Information Security and Privacy","author":"RN Akram","year":"2011","unstructured":"Akram, R.N., Markantonakis, K., Mayes, K.: Application-binding protocol in the user centric smart card ownership model. In: Parampalli, U., Hawkes, P. (eds.) ACISP 2011. LNCS, vol. 6812, pp. 208\u2013225. Springer, Heidelberg (2011)"},{"key":"1_CR16","doi-asserted-by":"crossref","unstructured":"Akram, R.N., Markantonakis, K., Mayes, K.: Cross-platform application sharing mechanism. In: Wang, H., Tate, S.R., Xiang, Y. (eds.) 10th IEEE International Conference on Trust, Security and Privacy in Computing and Communications (IEEE TrustCom 2011). IEEE Computer Society, Changsha, November 2011","DOI":"10.1109\/TrustCom.2011.77"},{"key":"1_CR17","doi-asserted-by":"crossref","unstructured":"Akram, R.N., Markantonakis, K., Mayes, K.: Building the bridges - a proposal for merging different paradigms in mobile NFC ecosystem. In: Xie, S. (ed.) The 8th International Conference on Computational Intelligence and Security (CIS 2012). IEEE Computer Society, Guangzhou, November 2012","DOI":"10.1109\/CIS.2012.149"},{"key":"1_CR18","doi-asserted-by":"crossref","unstructured":"Akram, R.N., Markantonakis, K., Mayes, K.: A secure and trusted channel protocol for the user centric smart card ownership model. In: 12th IEEE International Conference on Trust, Security and Privacy in Computing and Communications (IEEE TrustCom 2013). IEEE Computer Society, Melbourne (2013)","DOI":"10.1109\/TrustCom.2013.245"},{"key":"1_CR19","doi-asserted-by":"crossref","unstructured":"Akram, R.N., Markantonakis, K., Mayes, K.: Recovering from lost digital Wallet. In: Xiang, F.G.M., Ruj, S. (eds.) The 4th IEEE International Symposium on Trust, Security, and Privacy for Emerging Applications (TSP 2013). IEEE CS, Zhangjiajie, November 2013","DOI":"10.1109\/HPCC.and.EUC.2013.227"},{"key":"1_CR20","unstructured":"Akram, R.N., Markantonakis, K., Mayes, K.: Remote Attestation Mechanism based on Physical Unclonable Functions. In: Zhou, C.M., Weng, J. (eds.) The 2013 Workshop on RFID and IoT Security (RFIDsec 2013 Asia). IOS Press., Guangzhou, November 2013"},{"key":"1_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1007\/978-3-319-02726-5_12","volume-title":"Information and Communications Security","author":"RN Akram","year":"2013","unstructured":"Akram, R.N., Markantonakis, K., Mayes, K.: Remote attestation mechanism for user centric smart cards using pseudorandom number generators. In: Qing, S., Zhou, J., Liu, D. (eds.) ICICS 2013. LNCS, vol. 8233, pp. 151\u2013166. Springer, Heidelberg (2013)"},{"key":"1_CR22","doi-asserted-by":"crossref","unstructured":"Allen, F.: Control flow analysis. In: Proceedings of a Symposium on Compiler Optimization, pp. 1\u201319. ACM, New York, July 1970. \n                      http:\/\/doi.acm.org\/10.1145\/800028.808479","DOI":"10.1145\/800028.808479"},{"key":"1_CR23","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":"1_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1007\/3-540-69053-0_4","volume-title":"Advances in Cryptology - EUROCRYPT \u201997","author":"D Boneh","year":"1997","unstructured":"Boneh, D., DeMillo, R.A., Lipton, R.J.: On the importance of checking cryptographic protocols for faults. In: Fumy, W. (ed.) EUROCRYPT 1997. LNCS, vol. 1233, pp. 37\u201351. Springer, Heidelberg (1997)"},{"key":"1_CR25","unstructured":"Chakravarthi, S., Krishnan, A., Reddy, V., Machala, C., Krishnan, S.: A comprehensive framework for predictive modeling of negative bias temperature instability. In: 42nd Annual 2004 IEEE International Reliability Physics Symposium Proceedings, pp. 273\u2013282 (2004)"},{"key":"1_CR26","unstructured":"Commerce, U.D.O.: Defense industrial base assessment: Counterfeit electronics. Technical report, Bureau of Industry and Security, Office of Technology Evaluation, January 2010. \n                      http:\/\/www.bis.doc.gov\/defenseindustrialbaseprograms\/osies\/defmarketresearchrpts\/final_counterfeit_electronics_report.pdf"},{"key":"1_CR27","unstructured":"Cowan, C., Pu, C., Maier, D., Hintony, H., Walpole, J., Bakke, P., Beattie, S., Grier, A., Wagle, P., Zhang, Q.: Stackguard: automatic adaptive detection and prevention of buffer-overflow attacks. In: Proceedings of the 7th Conference on USENIX Security Symposium - Volume 7, SSYM 1998, pp. 5\u20135. USENIX Association, Berkeley (1998). \n                      http:\/\/dl.acm.org\/citation.cfm?id=1267549.1267554"},{"key":"1_CR28","unstructured":"\u00c9luard, M., Jensen, T.: Secure Object Flow Analysis for Java Card. In: CARDIS 2002: Proceedings of the 5th Conference on Smart Card Research and Advanced Application Conference, pp. 11\u201311. USENIX Association, Berkeley (2002)"},{"key":"1_CR29","volume-title":"Markov Models for Pattern Recognition","author":"A Fink","year":"2008","unstructured":"Fink, A.: Markov Models for Pattern Recognition. Springer, Heidelberg (2008)"},{"key":"1_CR30","unstructured":"Force, D.S.B.T.: High performance microchip supply, May 2013. \n                      http:\/\/www.acq.osd.mil\/dsb\/reports\/ADA435563.pdf"},{"key":"1_CR31","unstructured":"Frantzen, M., Shuey, M.: Stackghost: hardware facilitated stack protection. In: Proceedings of the 10th Conference on USENIX Security Symposium - Vol. 10. SSYM 2001, USENIX Association, Berkeley (2001). \n                      http:\/\/dl.acm.org\/citation.cfm?id=1251327.1251332"},{"key":"1_CR32","doi-asserted-by":"crossref","unstructured":"Gassend, B., Clarke, D., van Dijk, M., Devadas, S.: Silicon physical random functions. In: Proceedings of the 9th ACM conference on Computer and Communications Security, CCS 2002, pp. 148\u2013160. ACM, New York (2002)","DOI":"10.1145\/586131.586132"},{"key":"1_CR33","doi-asserted-by":"crossref","unstructured":"Henniger, O., Apvrille, L., Fuchs, A., Roudier, Y., Ruddle, A., Weyl, B.: Security requirements for automotive on-board networks. In: 2009 9th International Conference on Intelligent Transport Systems Telecommunications, (ITST), pp. 641\u2013646. IEEE (2009)","DOI":"10.1109\/ITST.2009.5399279"},{"key":"1_CR34","unstructured":"Forney, Jr., D.F.: The Viterbi Algorithm: a personal history. CoRR \n                      abs\/cs\/0504020\n                      \n                     (2005)"},{"key":"1_CR35","unstructured":"Kennell, R., Jamieson, L.H.: Establishing the genuinity of remote computer systems. In: Proceedings of the 12th Conference on USENIX Security Symposium - Volume 12, pp. 21\u201321. USENIX Association, Berkeley (2003). \n                      http:\/\/portal.acm.org\/citation.cfm?id=1251353.1251374"},{"key":"1_CR36","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, pp. 388\u2013397. Springer, Heidelberg (1999)"},{"key":"1_CR37","doi-asserted-by":"crossref","unstructured":"Koushanfar, F., Sadeghi, A.R., Seudie, H.: EDA for secure and dependable cybercars: challenges and opportunities. In: 2012 49th ACM\/EDAC\/IEEE Design Automation Conference (DAC), pp. 220\u2013228 (2012)","DOI":"10.1145\/2228360.2228402"},{"key":"1_CR38","unstructured":"LeCroy, T.: Teledyne LeCroy website, February 2013. \n                      http:\/\/www.teledynelecroy.com"},{"key":"1_CR39","unstructured":"Lieberman, J.I.: The national security aspects of the global migration of the u.s. semiconductor industry, May 2013. \n                      http:\/\/www.fas.org\/irp\/congress\/2003_cr\/s060503.html"},{"key":"1_CR40","volume-title":"The Java Virtual Machine Specification","author":"T Lindholm","year":"1999","unstructured":"Lindholm, T., Yellin, F.: The Java Virtual Machine Specification, 2nd edn. Addison-Wesley Longman, Amsterdam (1999)","edition":"2"},{"key":"1_CR41","series-title":"Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering","doi-asserted-by":"publisher","first-page":"288","DOI":"10.1007\/978-3-319-04283-1_18","volume-title":"Security and Privacy in Communication Networks","author":"M Msgna","year":"2013","unstructured":"Msgna, M., Markantonakis, K., Mayes, K.: The B-side of side channel leakage: control flow security in embedded systems. In: Zia, T., Zomaya, A., Varadharajan, V., Mao, M. (eds.) SecureComm 2013. LNICST, vol. 127, pp. 288\u2013304. Springer, Heidelberg (2013)"},{"key":"1_CR42","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","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)"},{"issue":"2","key":"1_CR43","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1109\/5.18626","volume":"77","author":"L Rabiner","year":"1989","unstructured":"Rabiner, L.: A tutorial on Hidden Markov Models and selected applications in speech recognition. Proc. IEEE 77(2), 257\u2013286 (1989)","journal-title":"Proc. IEEE"},{"key":"1_CR44","doi-asserted-by":"publisher","DOI":"10.1002\/047085670X","volume-title":"Smart Card Handbook","author":"W Rankl","year":"2003","unstructured":"Rankl, W., Effing, W.: Smart Card Handbook, 3rd edn. Wiley, New York (2003)","edition":"3"},{"issue":"2","key":"1_CR45","doi-asserted-by":"publisher","first-page":"120","DOI":"10.1145\/359340.359342","volume":"21","author":"RL Rivest","year":"1978","unstructured":"Rivest, R.L., Shamir, A., Adleman, L.M.: A method for obtaining digital signatures and public-key cryptosystems. Commun. ACM 21(2), 120\u2013126 (1978)","journal-title":"Commun. ACM"},{"key":"1_CR46","doi-asserted-by":"crossref","unstructured":"Sere, A.A., Iguchi-Cartigny, J., Lanet, J.L.: Automatic detection of fault attack and countermeasures. In: Proceedings of the 4th Workshop on Embedded Systems Security, WESS 2009, pp. 71\u201377. ACM, New York (2009)","DOI":"10.1145\/1631716.1631723"},{"key":"1_CR47","doi-asserted-by":"crossref","unstructured":"Wei, S., Nahapetian, A., Potkonjak, M.: Robust passive hardware metering. In: International Conference on Computer-Aided Design (ICCAD), 7\u201310 November 2011, pp. 802\u2013809. IEEE (2011)","DOI":"10.1109\/ICCAD.2011.6105421"},{"key":"1_CR48","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."}],"container-title":["Lecture Notes in Computer Science","Innovative Security Solutions for Information Technology and Communications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-27179-8_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T06:17:33Z","timestamp":1559369853000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-27179-8_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319271781","9783319271798"],"references-count":48,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-27179-8_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}