{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T09:29:50Z","timestamp":1763458190155,"version":"3.37.3"},"reference-count":40,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2023,1,18]],"date-time":"2023-01-18T00:00:00Z","timestamp":1674000000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,1,18]],"date-time":"2023-01-18T00:00:00Z","timestamp":1674000000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"funder":[{"DOI":"10.13039\/100012952","name":"Universit\u00e9 Grenoble Alpes","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100012952","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Cryptogr Eng"],"published-print":{"date-parts":[[2024,4]]},"DOI":"10.1007\/s13389-023-00310-8","type":"journal-article","created":{"date-parts":[[2023,1,18]],"date-time":"2023-01-18T20:11:48Z","timestamp":1674072708000},"page":"147-164","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":12,"title":["Combining static analysis and dynamic symbolic execution in a toolchain to detect fault injection vulnerabilities"],"prefix":"10.1007","volume":"14","author":[{"given":"Guilhem","family":"Lacombe","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Feliot","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Etienne","family":"Boespflug","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marie-Laure","family":"Potet","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2023,1,18]]},"reference":[{"unstructured":"Application of Attack Potential to Smartcards and Similar Devices. Technical Report Version 3.0, Joint Interpretation Library, April 2019","key":"310_CR1"},{"unstructured":"ANSSI, Amossys, EDSI, LETI, Lexfo, Oppida, Quarkslab, SERMA, Synacktiv, Thales, and Trusted Labs. Inter-cesti: methodological and technical feedbacks on hardware devices evaluations. In: SSTIC 2020, Symposium sur la s\u00e9curit\u00e9 des technologies de l\u2019information et des communications (2020)","key":"310_CR2"},{"issue":"2","key":"310_CR3","doi-asserted-by":"publisher","first-page":"370","DOI":"10.1109\/JPROC.2005.862424","volume":"94","author":"H Bar-El","year":"2006","unstructured":"Bar-El, H., Choukri, H., Naccache, D., Tunstall, M., Whelan, C.: The sorcerer\u2019s apprentice guide to fault attacks. Proc. IEEE 94(2), 370\u2013382 (2006)","journal-title":"Proc. IEEE"},{"doi-asserted-by":"crossref","unstructured":"Blazy, S., B\u00fchler, D., Yakobowski, B.: Structuring abstract interpreters through state and value abstractions. In: 18th International Conference on Verification Model Checking and Abstract Interpretation (VMCAI 2017), LNCS of Proceedings of the International Conference on Verification Model Checking and Abstract Interpretation, vol. 10145, France, Paris, pp. 112\u2013130 (2017)","key":"310_CR4","DOI":"10.1007\/978-3-319-52234-0_7"},{"doi-asserted-by":"crossref","unstructured":"Boespflug, E., Ene, C., Mounier, L., Potet, M.L.: Countermeasures optimization in multiple fault-injection context. In: Fault Diagnosis and Tolerance in Cryptography,\u2019 FDTC 2020, Milan (Virtual Workshop), Italy (2020)","key":"310_CR5","DOI":"10.1109\/FDTC51366.2020.00011"},{"key":"310_CR6","first-page":"2019","volume":"199\u2013224","author":"C Bozzato","year":"2019","unstructured":"Bozzato, C., Focardi, R., Palmarini, F.: Shaping the glitch: optimizing voltage fault injection attacks. IACR Trans. Cryptogr. Hardw. Embed. Syst. 199\u2013224, 2019 (2019)","journal-title":"IACR Trans. Cryptogr. Hardw. Embed. Syst."},{"unstructured":"Cadar, C., Dunbar, D., Engler, D.R.: KLEE: unassisted and automatic generation of high-coverage tests for complex systems programs. In: Draves, R., Renesse, R.V. (eds.), 8th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2008, USA, Proceedings, USENIX Association, pp. 209\u2013224 (2008)","key":"310_CR7"},{"issue":"82\u201390","key":"310_CR8","first-page":"02","volume":"56","author":"C Cadar","year":"2013","unstructured":"Cadar, C., Sen, K.: Symbolic execution for software testing three decades later. Commun. ACM 56(82\u201390), 02 (2013)","journal-title":"Commun. ACM"},{"unstructured":"The CCRA Management\u00a0Committee. Common Criteria for Information Technology Security Evaluation, September (2012)","key":"310_CR9"},{"doi-asserted-by":"crossref","unstructured":"Chebaro, O., Kosmatov, N., Giorgetti, A., Julliand, J.: The SANTE tool: value analysis, program slicing and test generation for C program debugging. In: Gogolla, M., Wolff, B. (eds.), 5th International Conference on Tests and Proofs, Lecture Notes in Computer Science, vol. 6706, Zurich, Switzerland, pp. 78\u201383 (2011)","key":"310_CR10","DOI":"10.1007\/978-3-642-21768-5_7"},{"issue":"3","key":"310_CR11","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1007\/s13389-013-0049-3","volume":"3","author":"M Christofi","year":"2013","unstructured":"Christofi, M., Chetali, B., Goubin, L., Vigilant, D.: Formal verification of a CRT-RSA implementation against fault attacks. J. Cryptogr. Eng. 3(3), 157\u2013167 (2013)","journal-title":"J. Cryptogr. Eng."},{"doi-asserted-by":"crossref","unstructured":"Cotroneo, D., De Simone, L., Liguori, P., Natella, R.: Profipy: programmable software fault injection as-a-service. In: 2020 50th Annual IEEE\/IFIP International Conference on Dependable Systems and Networks (DSN), pp. 364\u2013372 (2020)","key":"310_CR12","DOI":"10.1109\/DSN48063.2020.00052"},{"unstructured":"Cui, A., Housley, R.: BADFET: defeating modern secure boot using second-order pulsed electromagnetic fault injection. In: 11th USENIX Workshop on Offensive Technologies (WOOT 17), USENIX Association, Vancouver, BC (2017)","key":"310_CR13"},{"issue":"13","key":"310_CR14","doi-asserted-by":"publisher","first-page":"2023","DOI":"10.3390\/electronics11132023","volume":"11","author":"A Gangolli","year":"2022","unstructured":"Gangolli, A., Mahmoud, Q.H., Azim, A.: A systematic review of fault injection attacks on IOT systems. Electronics 11(13), 2023 (2022)","journal-title":"Electronics"},{"doi-asserted-by":"crossref","unstructured":"Godefroid, P.: Higher-order test generation. In: Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI \u201911, Association for Computing Machinery, New York, NY, USA, pp. 258\u2013269 (2011)","key":"310_CR15","DOI":"10.1145\/1993498.1993529"},{"key":"310_CR16","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1145\/2090147.2094081","volume":"10","author":"P Godefroid","year":"2012","unstructured":"Godefroid, P., Levin, M., Molnar, D.: Sage: Whitebox fuzzing for security testing. ACM Queue 10, 20 (2012)","journal-title":"ACM Queue"},{"issue":"3","key":"310_CR17","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1002\/swf.41","volume":"2","author":"M Harman","year":"2001","unstructured":"Harman, M., Hierons, R.: An overview of program slicing. Softw. Focus 2(3), 85\u201392 (2001)","journal-title":"Softw. Focus"},{"unstructured":"https:\/\/heartbleed.com. Accessed July 2021","key":"310_CR18"},{"unstructured":"https:\/\/github.com\/wookey-project\/libiso7816\/blob\/master\/smartcard_iso7816.c. Patched version of iso7816. Accessed July 2021","key":"310_CR19"},{"unstructured":"https:\/\/github.com\/wookey-project. Accessed July 2021","key":"310_CR20"},{"unstructured":"https:\/\/lazart.gricad-pages.univ-grenoble-alpes.fr\/fissc\/. FISSC test suite. Accessed May 2022","key":"310_CR21"},{"unstructured":"https:\/\/github.com\/linux-pam\/linux-pam. Accessed July 2021","key":"310_CR22"},{"unstructured":"https:\/\/github.com\/acsl-language\/acsl\/releases. Accessed July 2021","key":"310_CR23"},{"unstructured":"https:\/\/frama-c.com\/fc-plugins\/eva.html. Accessed July 2021","key":"310_CR24"},{"unstructured":"https:\/\/frama-c.com\/download\/frama-c-pdg-documentation-french.pdf. Accessed July 2021 (in French)","key":"310_CR25"},{"unstructured":"https:\/\/github.com\/wookey-project\/bootloader\/blob\/master\/src\/main.c. Accessed July 2021","key":"310_CR26"},{"unstructured":"https:\/\/lazart.gricad-pages.univ-grenoble-alpes.fr\/fissc\/proofs21.html. Analyzed code. Accessed September 2021","key":"310_CR27"},{"doi-asserted-by":"crossref","unstructured":"Kim, Y., Daly, R., Kim, J., Fallin, C., Lee, J.H., Lee, D., Wilkerson, C., Lai, K., Mutlu, O.: Flipping bits in memory without accessing them: an experimental study of dram disturbance errors. In: 2014 ACM\/IEEE 41st International Symposium on Computer Architecture (ISCA), pp. 361\u2013372 (2014)","key":"310_CR28","DOI":"10.1109\/ISCA.2014.6853210"},{"doi-asserted-by":"crossref","unstructured":"Lalande, J.F., Heydemann, K., Berthom\u00e9, P.: Software countermeasures for control flow integrity of smart card C codes. In: Kutylowski, M., Vaidya, J. (eds.), ESORICS\u201419th European Symposium on Research in Computer Security, Lecture Notes in Computer Science, vol. 8713, Springer International Publishing, Wroclaw, Poland, pp. 200\u2013218 (2014)","key":"310_CR29","DOI":"10.1007\/978-3-319-11212-1_12"},{"unstructured":"Larsson, D., H\u00e4hnle, R.: Symbolic fault injection. In: VERIFY (2007)","key":"310_CR30"},{"doi-asserted-by":"crossref","unstructured":"Le, H.M., Herdt, V., Gro\u00dfe, D., Drechsler, R.: Resilience evaluation via symbolic fault injection on intermediate code. In: 2018 Design, Automation and Test in Europe Conference and Exhibition (DATE), pp. 845\u2013850 (2018)","key":"310_CR31","DOI":"10.23919\/DATE.2018.8342123"},{"doi-asserted-by":"crossref","unstructured":"Pattabiraman, K., Nakka, N., Kalbarczyk, Z., Iyer, R.: Symplfied: symbolic program-level fault injection and error detection framework. In: 2008 IEEE International Conference on Dependable Systems and Networks With FTCS and DCC (DSN) (2008)","key":"310_CR32","DOI":"10.1109\/DSN.2008.4630118"},{"doi-asserted-by":"crossref","unstructured":"Potet, M.L., Mounier, L., Puys, M., Dureuil, L.: Lazart: a symbolic approach for evaluation the robustness of secured codes against control flow injections. In: Seventh IEEE International Conference on Software Testing, Verification and Validation, Cleveland, United States (2014)","key":"310_CR33","DOI":"10.1109\/ICST.2014.34"},{"doi-asserted-by":"crossref","unstructured":"Puys, M., Rivi\u00e8re, L., Bringer, J., Le, T.H.: High-level simulation for multiple fault injection evaluation. In: DPM\/SETOP\/QASA (2014)","key":"310_CR34","DOI":"10.1007\/978-3-319-17016-9_19"},{"doi-asserted-by":"crossref","unstructured":"Rivi\u00e8re, L., Potet, M.L., Le, T.H., Bringer, J., Chabanne, H., Puys, M.: Combining high-level and low-level approaches to evaluate software implementations robustness against multiple fault injection attacks. In: Foundations and Practice of Security\u2014 7th International Symposium, FPS 2014, Lecture Notes in Computer Science, Montreal, QC, Canada, November 3\u20135. Revised Selected Papers, vol. 8930, pp. 92\u2013111 Springer (2014)","key":"310_CR35","DOI":"10.1007\/978-3-319-17040-4_7"},{"doi-asserted-by":"crossref","unstructured":"Robles, V., Kosmatov, N., Pr\u00e9vosto, V., Rilling, L., Le\u00a0Gall, P.: Methodology for specification and verification of high-level requirements with MetAcsl. In: FormaliSE 2021: 9th International Conference on Formal Methods in Software Engineering, Online Conference, France, IEEE TCSE and SIGSOFT (2021)","key":"310_CR36","DOI":"10.1109\/FormaliSE52586.2021.00012"},{"doi-asserted-by":"crossref","unstructured":"Roche, T., Lomn\u00e9, V., Khalfallah, K.: Combined fault and side-channel attack on protected implementations of AES. In: Prouff, E. (ed.), Smart Card Research and Advanced Applications, Springer, Berlin, pp. 65\u201383 (2011)","key":"310_CR37","DOI":"10.1007\/978-3-642-27257-8_5"},{"doi-asserted-by":"crossref","unstructured":"Signoles, J., Cuoq, P., Kirchner, F., Kosmatov, N., Prevosto, V., Yakobowski, B.: Frama-c: a software analysis perspective. Formal Asp. Comput. 27, 573\u2013609 (2012)","key":"310_CR38","DOI":"10.1007\/s00165-014-0326-7"},{"key":"310_CR39","first-page":"1","volume":"3","author":"F Tip","year":"1995","unstructured":"Tip, F.: A survey of program slicing techniques. J. Program. Lang. 3, 1 (1995)","journal-title":"J. Program. Lang."},{"doi-asserted-by":"crossref","unstructured":"Vasselle, A., Thiebeauld, H., Maouhoub, Q., Morisset, A., Ermeneux, S.: Laser-induced fault injection on smartphone bypassing the secure boot. In: 2017 Workshop on Fault Diagnosis and Tolerance in Cryptography, FDTC 2017, Taipei, Taiwan, September 25, 2017, IEEE Computer Society, pp. 41\u201348 (2017)","key":"310_CR40","DOI":"10.1109\/FDTC.2017.18"}],"container-title":["Journal of Cryptographic Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s13389-023-00310-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s13389-023-00310-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s13389-023-00310-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,29]],"date-time":"2024-04-29T19:05:29Z","timestamp":1714417529000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s13389-023-00310-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,1,18]]},"references-count":40,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2024,4]]}},"alternative-id":["310"],"URL":"https:\/\/doi.org\/10.1007\/s13389-023-00310-8","relation":{},"ISSN":["2190-8508","2190-8516"],"issn-type":[{"type":"print","value":"2190-8508"},{"type":"electronic","value":"2190-8516"}],"subject":[],"published":{"date-parts":[[2023,1,18]]},"assertion":[{"value":"27 May 2022","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"5 January 2023","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"18 January 2023","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}