{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T02:49:41Z","timestamp":1743130181028,"version":"3.40.3"},"publisher-location":"Cham","reference-count":29,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319112114"},{"type":"electronic","value":"9783319112121"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-11212-1_12","type":"book-chapter","created":{"date-parts":[[2014,8,14]],"date-time":"2014-08-14T16:36:45Z","timestamp":1408034205000},"page":"200-218","source":"Crossref","is-referenced-by-count":24,"title":["Software Countermeasures for Control Flow Integrity of Smart Card C Codes"],"prefix":"10.1007","author":[{"given":"Jean-Fran\u00e7ois","family":"Lalande","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Karine","family":"Heydemann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pascal","family":"Berthom\u00e9","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"12_CR1","first-page":"340","volume-title":"12th ACM Conference on Computer and Communications Security","author":"M. Abadi","year":"2005","unstructured":"Abadi, M., Budiu, M., Erlingsson, U., Ligatti, J.: Control-flow integrity. In: Atluri, V., Meadows, C., Juels, A. (eds.) 12th ACM Conference on Computer and Communications Security, pp. 340\u2013353. ACM Press, Alexandria (2005)"},{"key":"12_CR2","first-page":"105","volume-title":"The 8th Workshop on Fault Diagnosis and Tolerance in Cryptography","author":"J. Balasch","year":"2011","unstructured":"Balasch, J., Gierlichs, B., Verbauwhede, I.: An in-depth and black-box characterization of the effects of clock glitches on 8-bit MCUs. In: Breveglieri, L., Guilley, S., Koren, I., Naccache, D., Takahashi, J. (eds.) The 8th Workshop on Fault Diagnosis and Tolerance in Cryptography, pp. 105\u2013114. IEEE Computer Society Press, Nara (2011)"},{"key":"12_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1007\/978-3-642-27257-8_19","volume-title":"Smart Card Research and Advanced Applications","author":"G. Barbu","year":"2011","unstructured":"Barbu, G., Duc, G., Hoogvorst, P.: Java card operand stack: fault attacks, combined attacks and countermeasures. In: Prouff, E. (ed.) CARDIS 2011. LNCS, vol.\u00a07079, pp. 297\u2013313. Springer, Heidelberg (2011)"},{"key":"12_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"148","DOI":"10.1007\/978-3-642-12510-2_11","volume-title":"Smart Card Research and Advanced Application","author":"G. Barbu","year":"2010","unstructured":"Barbu, G., Thiebeauld, H., Guerin, V.: Attacks on java card 3.0 combining fault and logical attacks. In: Gollmann, D., Lanet, J.-L., Iguchi-Cartigny, J. (eds.) CARDIS 2010. LNCS, vol.\u00a06035, pp. 148\u2013163. Springer, Heidelberg (2010)"},{"issue":"11","key":"12_CR5","doi-asserted-by":"publisher","first-page":"3056","DOI":"10.1109\/JPROC.2012.2188769","volume":"100","author":"A. Barenghi","year":"2012","unstructured":"Barenghi, A., Breveglieri, L., Koren, I., Naccache, D.: Fault Injection Attacks on Cryptographic Devices: Theory, Practice, and Countermeasures. Proceedings of the IEEE\u00a0100(11), 3056\u20133076 (2012)","journal-title":"Proceedings of the IEEE"},{"key":"12_CR6","series-title":"Information Security and Cryptography","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1007\/978-3-642-29656-7_14","volume-title":"Fault Analysis in Cryptography","author":"A. Barenghi","year":"2012","unstructured":"Barenghi, A., Trichina, E.: Fault attacks on stream ciphers. In: Joye, M., Tunstall, M. (eds.) Fault Analysis in Cryptography. Information Security and Cryptography, pp. 239\u2013255. Springer, Heidelberg (2012)"},{"key":"12_CR7","doi-asserted-by":"publisher","first-page":"224","DOI":"10.1109\/ARES.2012.79","volume-title":"7th International Conference on Availability, Reliability and Security, AReS 2012","author":"P. Berthom\u00e9","year":"2012","unstructured":"Berthom\u00e9, P., Heydemann, K., Kauffmann-Tourkestansky, X., Lalande, J.F.: High level model of control flow attacks for smart card functional security. In: 7th International Conference on Availability, Reliability and Security, AReS 2012, pp. 224\u2013229. IEEE Computer Society, Prague (2012)"},{"key":"12_CR8","first-page":"353","volume-title":"27th Annual Computer Security Applications Conference","author":"T. Bletsch","year":"2011","unstructured":"Bletsch, T., Jiang, X., Freeh, V.: Mitigating code-reuse attacks with control-flow locking. In: Zakon, R.H., McDermott, J.P., Locasto, M.E. (eds.) 27th Annual Computer Security Applications Conference, pp. 353\u2013362. ACM Press, Orlando (2011)"},{"key":"12_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"283","DOI":"10.1007\/978-3-642-27257-8_18","volume-title":"Smart Card Research and Advanced Applications","author":"G. Bouffard","year":"2011","unstructured":"Bouffard, G., Iguchi-Cartigny, J., Lanet, J.L.: Combined software and hardware attacks on the java card control flow. In: Prouff, E. (ed.) CARDIS 2011. LNCS, vol.\u00a07079, pp. 283\u2013296. Springer, Heidelberg (2011)"},{"key":"12_CR10","series-title":"CCIS","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1007\/978-3-642-40576-1_3","volume-title":"Security in Computing and Communications","author":"G. Bouffard","year":"2013","unstructured":"Bouffard, G., Thampi, B.N., Lanet, J.-L.: Detecting laser fault injection for smart cards using security automata. In: Thampi, S.M., Atrey, P.K., Fan, C.-I., Perez, G.M. (eds.) SSCC 2013. CCIS, vol.\u00a0377, pp. 18\u201329. Springer, Heidelberg (2013)"},{"key":"12_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"428","DOI":"10.1007\/3-540-61474-5_95","volume-title":"Computer Aided Verification","author":"R. Brayton","year":"1996","unstructured":"Brayton, R., et al.: Vis: A system for verification and synthesis. In: Alur, R., Henzinger, T.A. (eds.) CAV 1996. LNCS, vol.\u00a01102, pp. 428\u2013432. Springer, Heidelberg (1996), \n                  \n                    http:\/\/vlsi.colorado.edu\/~vis\/"},{"key":"12_CR12","unstructured":"Ceara, D.: Detecting Software Vulnerabilities - Static Taint Analysis. Bsc thesis, Universitatea Politehnica Bucuresti, Verimag (2009)"},{"key":"12_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"400","DOI":"10.1007\/3-540-36415-3_26","volume-title":"Information Hiding","author":"Y. Chen","year":"2003","unstructured":"Chen, Y., Venkatesan, R., Cary, M., Pang, R., Sinha, S., Jakubowski, M.H.: Oblivious hashing: A stealthy software integrity verification primitive. In: Petitcolas, F.A.P. (ed.) IH 2002. LNCS, vol.\u00a02578, pp. 400\u2013414. Springer, Heidelberg (2003)"},{"key":"12_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/978-3-642-40026-1_2","volume-title":"Constructive Side-Channel Analysis and Secure Design","author":"A. Dehbaoui","year":"2013","unstructured":"Dehbaoui, A., Mirbaha, A.-P., Moro, N., Dutertre, J.-M., Tria, A.: Electromagnetic glitch on the AES round counter. In: Prouff, E. (ed.) COSADE 2013. LNCS, vol.\u00a07864, pp. 17\u201331. Springer, Heidelberg (2013)"},{"key":"12_CR15","first-page":"452","volume-title":"IEEE International Conference on Computer Design: VLSI in Computers and Processors","author":"A.M. Fiskiran","year":"2004","unstructured":"Fiskiran, A.M., Lee, R.B.: Runtime execution monitoring (REM) to detect and prevent malicious code execution. In: IEEE International Conference on Computer Design: VLSI in Computers and Processors, pp. 452\u2013457. IEEE Computer Society, San Jose (2004)"},{"key":"12_CR16","doi-asserted-by":"crossref","first-page":"581","DOI":"10.1109\/DFTVS.2003.1250158","volume-title":"18th International Symposium on Defect and Fault Tolerance in VLSI Systems","author":"O. Goloubeva","year":"2003","unstructured":"Goloubeva, O., Rebaudengo, M., Reorda, M.S., Violante, M.: Soft-error detection using control flow assertions. In: 18th International Symposium on Defect and Fault Tolerance in VLSI Systems, pp. 581\u2013588. IEEE Computer Society, Boston (2003)"},{"key":"12_CR17","first-page":"3","volume-title":"4th Annual Workshop on Workload Characterization","author":"M.R. Guthaus","year":"2001","unstructured":"Guthaus, M.R., Ringenberg, J.S., Ernst, D., Austin, T.M., Mudge, T., Brown, R.B.: MiBench: A free, commercially representative embedded benchmark suite. In: 4th Annual Workshop on Workload Characterization, pp. 3\u201314. IEEE Computer Society, Austin (2001), \n                  \n                    http:\/\/www.eecs.umich.edu\/mibench\/"},{"issue":"2","key":"12_CR18","first-page":"49","volume":"5","author":"J. Iguchi-cartigny","year":"2011","unstructured":"Iguchi-cartigny, J., Lanet, J.L.: Evaluation of Countermeasures Against Fault Attacks on Smart Cards. International Journal of Security and Its Applications\u00a05(2), 49\u201360 (2011)","journal-title":"International Journal of Security and Its Applications"},{"key":"12_CR19","unstructured":"Keil: Keil uVision for ARM processors (2012), \n                  \n                    http:\/\/www.keil.com\/support\/man_arm.htm"},{"key":"12_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1007\/978-3-642-38530-8_6","volume-title":"Information Security Theory and Practice. Security of Mobile and Cyber-Physical Systems","author":"M. Lackner","year":"2013","unstructured":"Lackner, M., Berlach, R., Raschke, W., Weiss, R., Steger, C.: A defensive virtual machine layer to counteract fault attacks on java cards. In: Cavallaro, L., Gollmann, D. (eds.) WISTP 2013. LNCS, vol.\u00a07886, pp. 82\u201397. Springer, Heidelberg (2013)"},{"key":"12_CR21","first-page":"42","volume-title":"33rd ACM Symposium on Principles of Programming Languages","author":"X. Leroy","year":"2006","unstructured":"Leroy, X.: Formal certification of a compiler back-end or: programming a compiler with a proof assistant. In: Morrisett, J.G., Jones, S.L.P. (eds.) 33rd ACM Symposium on Principles of Programming Languages, pp. 42\u201354. ACM Press, Charleston (2006)"},{"key":"12_CR22","unstructured":"Levin, I.: A byte-oriented AES-256 implementation (2007), \n                  \n                    http:\/\/www.literatecode.com\/aes256"},{"key":"12_CR23","doi-asserted-by":"crossref","unstructured":"Moro, N., Heydemann, K., Encrenaz, E., Robisson, B.: Formal verification of a software countermeasure against instruction skip attacks. Journal of Cryptographic Engineering, 1\u201312 (2014)","DOI":"10.1007\/s13389-014-0077-7"},{"key":"12_CR24","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1109\/FDTC.2013.9","volume-title":"Workshop on Fault Diagnosis and Tolerance in Cryptography","author":"N. Moro","year":"2013","unstructured":"Moro, N., Dehbaoui, A., Heydemann, K., Robisson, B., Encrenaz, E.: Electromagnetic Fault Injection: Towards a Fault Model on a 32-bit Microcontroller. In: Workshop on Fault Diagnosis and Tolerance in Cryptography, pp. 77\u201388. IEEE Computer Society, Santa Barbara (2013)"},{"key":"12_CR25","doi-asserted-by":"crossref","first-page":"589","DOI":"10.1109\/DFTVS.2003.1250159","volume-title":"18th International Symposium on Defect and Fault Tolerance in VLSI Systems","author":"B. Nicolescu","year":"2003","unstructured":"Nicolescu, B., Savaria, Y., Velazco, R.: SIED: Software implemented error detection. In: 18th International Symposium on Defect and Fault Tolerance in VLSI Systems, pp. 589\u2013596. IEEE Computer Society, Boston (2003)"},{"issue":"1","key":"12_CR26","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1109\/24.994926","volume":"51","author":"N. Oh","year":"2002","unstructured":"Oh, N., Shirvani, P., McCluskey, E.: Control-flow checking by software signatures. IEEE Transactions on Reliability\u00a051(1), 111\u2013122 (2002)","journal-title":"IEEE Transactions on Reliability"},{"key":"12_CR27","first-page":"3","volume-title":"8th Workshop on Fault Diagnosis and Tolerance in Cryptography","author":"I. Verbauwhede","year":"2011","unstructured":"Verbauwhede, I., Karaklaji\u0107, D., Schmidt, J.M.: The fault attack jungle - a classification model to guide you. In: Breveglieri, L., Guilley, S., Koren, I., Naccache, D., Takahashi, J. (eds.) 8th Workshop on Fault Diagnosis and Tolerance in Cryptography, pp. 3\u20138. IEEE Computer Society, Nara (2011)"},{"key":"12_CR28","first-page":"1","volume-title":"IEEE\/IFIP International Conference on Dependable Systems and Networks","author":"Y. Xia","year":"2012","unstructured":"Xia, Y., Liu, Y., Chen, H., Zang, B.: CFIMon: Detecting violation of control flow integrity using performance counters. In: Swarz, R.S., Koopman, P., Cukier, M. (eds.) IEEE\/IFIP International Conference on Dependable Systems and Networks, pp. 1\u201312. IEEE Computer Society, Boston (2012)"},{"key":"12_CR29","doi-asserted-by":"crossref","unstructured":"Yamaguchi, F., Wressnegger, C., Gascon, H., Rieck, K.: Chucky: exposing missing checks in source code for vulnerability discovery. In: Sadeghi, A.R., Gligor, V.D., Yung, M. (eds.) ACM Conference on Computer and Communications Security, Berlin, Germany, pp. 499\u2013510 (November 2013)","DOI":"10.1145\/2508859.2516665"}],"container-title":["Lecture Notes in Computer Science","Computer Security - ESORICS 2014"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-11212-1_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,22]],"date-time":"2019-09-22T20:05:34Z","timestamp":1569182734000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-11212-1_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319112114","9783319112121"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-11212-1_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}