{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T18:23:23Z","timestamp":1740162203477,"version":"3.37.3"},"reference-count":20,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2016,11,22]],"date-time":"2016-11-22T00:00:00Z","timestamp":1479772800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"name":"Fonds Unique Interminist\u00e9riel (FR)"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Cryptogr Eng"],"published-print":{"date-parts":[[2017,4]]},"DOI":"10.1007\/s13389-016-0144-3","type":"journal-article","created":{"date-parts":[[2016,11,22]],"date-time":"2016-11-22T12:00:17Z","timestamp":1479816017000},"page":"87-95","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Multi-level formal verification"],"prefix":"10.1007","volume":"7","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-6940-6856","authenticated-orcid":false,"given":"Laurent","family":"Sauvage","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tarik","family":"Graba","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thibault","family":"Porteboeuf","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,11,22]]},"reference":[{"key":"144_CR1","unstructured":"Anderson, R., Kuhn, M.: \u201cTamper resistance: A cautionary note,\u201d In: Proceedings of the 2nd Conference on Proceedings of the Second USENIX Workshop on Electronic Commerce - vol. 2, ser. WOEC\u201996, pp. 1\u20131. Berkeley, CA, USA: USENIX Association, (1996). [Online]. Available: http:\/\/dl.acm.org\/citation.cfm?id=1267167.1267168"},{"key":"144_CR2","doi-asserted-by":"publisher","unstructured":"Boneh, D., DeMillo, R.A., Lipton, R.J.: \u201cOn the importance of checking cryptographic protocols for faults (extended abstract),\u201d In: Advances in Cryptology - EUROCRYPT \u201997, International Conference on the Theory and Application of Cryptographic Techniques, Konstanz, Germany, May 11\u201315, 1997, Proceeding, ser. Lecture Notes in Computer Science, W.\u00a0Fumy, Ed., vol. 1233, pp. 37\u201351. Springer, 1997 [Online]. Available: doi: 10.1007\/3-540-69053-0_4","DOI":"10.1007\/3-540-69053-0_4"},{"key":"144_CR3","doi-asserted-by":"publisher","unstructured":"Biham, E., Shamir, A.: \u201cDifferential fault analysis of secret key cryptosystems,\u201d In: Advances in Cryptology - CRYPTO \u201997, 17th Annual International Cryptology Conference, Santa Barbara, California, USA, August 17\u201321, 1997, Proceedings, ser. Lecture Notes in Computer Science, B.\u00a0S.\u00a0K. Jr., Ed., vol. 1294, pp. 513\u2013525. Springer, 1997 [Online]. Available: doi: 10.1007\/BFb0052259","DOI":"10.1007\/BFb0052259"},{"key":"144_CR4","doi-asserted-by":"publisher","unstructured":"Rivain, M.: \u201cDifferential fault analysis on DES middle rounds,\u201d In: Cryptographic Hardware and Embedded Systems - CHES 2009, 11th International Workshop, Lausanne, Switzerland, September 6-9, 2009, Proceedings, ser. Lecture Notes in Computer Science, C.\u00a0Clavier and K.\u00a0Gaj, Eds., vol. 5747, pp. 457\u2013469. Springer, 2009 [Online]. Available: doi: 10.1007\/978-3-642-04138-9_32","DOI":"10.1007\/978-3-642-04138-9_32"},{"key":"144_CR5","doi-asserted-by":"publisher","unstructured":"Piret, G., Quisquater, J.: \u201cA differential fault attack technique against SPN structures, with application to the AES and KHAZAD,\u201d In: Cryptographic Hardware and Embedded Systems - CHES 2003, 5th International Workshop, Cologne, Germany, September 8-10, 2003, Proceedings, ser. Lecture Notes in Computer Science, C.\u00a0D. Walter, \u00c7.\u00a0K. Ko\u00e7, and C.\u00a0Paar, Eds., vol. 2779, pp. 77\u201388. Springer, 2003 [Online]. Available: doi: 10.1007\/978-3-540-45238-6_7","DOI":"10.1007\/978-3-540-45238-6_7"},{"key":"144_CR6","doi-asserted-by":"publisher","unstructured":"Barenghi, A., Bertoni, G.M., Breveglieri, L., Pelosi, G., Palomba, A.: \u201cFault attack to the elliptic curve digital signature algorithm with multiple bit faults,\u201d In: Proceedings of the 4th International Conference on Security of Information and Networks, SIN 2011, Sydney, NSW, Australia, November 14-19, 2011, M.\u00a0A.\u00a0O. an\u00a0Atilla El\u00e7i an Oleg B. Makarevich an Sorin A. Huss an Josef Pieprzyk an Lyudmila K. Babenko an Alexander G. Chefranov\u00a0an Rajan\u00a0Shankaran, Ed. ACM, 2011, pp. 63\u201372. [Online]. Available: doi: 10.1145\/2070425.2070438","DOI":"10.1145\/2070425.2070438"},{"key":"144_CR7","doi-asserted-by":"publisher","unstructured":"Maingot, V., Leveugle, R.: \u201cError detection code efficiency for secure chips,\u201d In: 13th IEEE International Conference on Electronics, Circuits, and Systems, ICECS 2006, pp. 561\u2013564. Nice, France, December 10\u201313, 2006. IEEE, 2006 [Online]. Available: doi: 10.1109\/ICECS.2006.379850","DOI":"10.1109\/ICECS.2006.379850"},{"key":"144_CR8","doi-asserted-by":"publisher","unstructured":"Trichina, E., Korkikyan, R.: \u201cMulti fault laser attacks on protected CRT-RSA,\u201d In: 2010 Workshop on Fault Diagnosis and Tolerance in Cryptography, FDTC 2010, Santa Barbara, California, USA, 21 August 2010, L.\u00a0Breveglieri, M.\u00a0Joye, I.\u00a0Koren, D.\u00a0Naccache, and I.\u00a0Verbauwhede, Eds. IEEE Computer Society, 2010, pp. 75\u201386. [Online]. Available: doi: 10.1109\/FDTC.2010.14","DOI":"10.1109\/FDTC.2010.14"},{"key":"144_CR9","doi-asserted-by":"publisher","unstructured":"Amiel, F., Villegas, K., Feix, B., Marcel, L.: \u201cPassive and active combined attacks: Combining fault attacks and side channel analysis,\u201d In: Fourth International Workshop on Fault Diagnosis and Tolerance in Cryptography, 2007, FDTC 2007: Vienna, Austria, 10 September 2007, L.\u00a0Breveglieri, S.\u00a0Gueron, I.\u00a0Koren, D.\u00a0Naccache, and J.\u00a0Seifert, Eds. IEEE Computer Society, 2007, pp. 92\u2013102. [Online]. Available: doi: 10.1109\/FDTC.2007.4318989","DOI":"10.1109\/FDTC.2007.4318989"},{"key":"144_CR10","doi-asserted-by":"publisher","unstructured":"Skorobogatov, S.P., Anderson, R.J.: \u201cOptical fault induction attacks,\u201d In: Cryptographic Hardware and Embedded Systems - CHES 2002, 4th International Workshop, Redwood Shores, CA, USA, August 13-15, 2002, Revised Papers, ser. Lecture Notes in Computer Science, B.\u00a0S.\u00a0K. Jr., \u00c7.\u00a0K. Ko\u00e7, and C.\u00a0Paar, Eds., vol. 2523, pp. 2\u201312. Springer, 2002 [Online]. Available: doi: 10.1007\/3-540-36400-5_2","DOI":"10.1007\/3-540-36400-5_2"},{"key":"144_CR11","doi-asserted-by":"crossref","unstructured":"Balasch, J., Gierlichs, B., Verbauwhede, I.: \u201cAn in-depth and black-box Characterization of the effects of clock glitches on 8-bit MCUs,\u201d In: 2011 Workshop on Fault Diagnosis and Tolerance in Cryptography, FDTC 2011, Tokyo, Japan, September 29, 2011. IEEE,2011, pp. 105\u2013114","DOI":"10.1109\/FDTC.2011.9"},{"key":"144_CR12","unstructured":"Kelley, E., Motika, F., Motika, P., Motika, E.: \u201cSecure credit card,\u201d Nov.\u00a04 2003, \u201cUS Patent 6,641,050\u201d. [Online]. Available: https:\/\/www.google.com\/patents\/US6641050"},{"key":"144_CR13","doi-asserted-by":"publisher","unstructured":"Barenghi, A., Breveglieri, L., Koren, I., Naccache, D.: \u201cFault injection attacks on cryptographic devices: Theory, practice, and countermeasures,\u201d Proceedings of the IEEE, vol. 100, no.\u00a011, pp. 3056\u20133076, 2012. [Online]. Available: doi: 10.1109\/JPROC.2012.2188769","DOI":"10.1109\/JPROC.2012.2188769"},{"key":"144_CR14","doi-asserted-by":"crossref","unstructured":"Canivet, G., Leveugle, R., Clediere, J., Valette, F., Renaudin, M.: \u201cCharacterization of effective laser spots during attacks in the configuration of a virtex-II FPGA,\u201d In: VLSI Test Symposium, 2009. VTS \u201909. 27th IEEE, 2009, pp. 327\u2013332","DOI":"10.1109\/VTS.2009.19"},{"key":"144_CR15","doi-asserted-by":"publisher","unstructured":"Dehbaoui, A., Dutertre, J., Robisson, B., Tria, A.: \u201cElectromagnetic transient faults injection on a hardware and a software implementations of AES,\u201d In: 2012 Workshop on Fault Diagnosis and Tolerance in Cryptography, Leuven, Belgium, September 9, 2012, G.\u00a0Bertoni and B.\u00a0Gierlichs, Eds. IEEE Computer Society, 2012, pp. 7\u201315. [Online]. Available: doi: 10.1109\/FDTC.2012.15","DOI":"10.1109\/FDTC.2012.15"},{"key":"144_CR16","doi-asserted-by":"publisher","unstructured":"Ordas, S., Guillaume-Sage, L., Tobich, K., Dutertre, J., Maurine, P.: \u201cEvidence of a larger EM-induced fault model,\u201d In: Smart Card Research and Advanced Applications - 13th International Conference, CARDIS 2014, Paris, France, November 5-7, 2014. Revised Selected Papers, ser. Lecture Notes in Computer Science, M.\u00a0Joye and A.\u00a0Moradi, Eds., vol. 8968, pp. 245\u2013259. Springer, 2014, [Online]. Available: doi: 10.1007\/978-3-319-16763-3_15","DOI":"10.1007\/978-3-319-16763-3_15"},{"key":"144_CR17","unstructured":"Ali, S., Mukhopadhyay, D., Tunstall, M.: \u201cDifferential fault analysis of AES using a single multiple-byte fault,\u201d IACR Cryptology ePrint Archive, vol. 2010, p. 636, 2010. [Online]. Available: http:\/\/eprint.iacr.org\/2010\/636"},{"key":"144_CR18","doi-asserted-by":"crossref","unstructured":"Agoyan, M., Dutertre, J.-M., Naccache, D., Robisson, B., Tria, A.: \u201cWhen clocks fail: on critical paths and clock faults,\u201d In Smart Card Research and Advanced Application, 9th IFIP WG8.8\/11.2 International Conference, CARDIS 2010, Passau, Germany, April 14-16, 2010. Proceedings, ser. Lecture Notes in Computer Science, D.\u00a0Gollmann, J.-L. Lanet, and J.\u00a0Iguchi-Cartigny, Eds., vol. 6035, pp. 182\u2013193. Springer, (2010)","DOI":"10.1007\/978-3-642-12510-2_13"},{"key":"144_CR19","unstructured":"Riscure, \u201cVC Glitcher.\u201d [Online]. Available: https:\/\/www.riscure.com\/security-tools\/hardware\/vc-glitcher"},{"key":"144_CR20","doi-asserted-by":"publisher","unstructured":"Zussa, L., Dehbaoui, A., Tobich, K., Dutertre, J., Maurine, P., Guillaume-Sage, L., Cl\u00e9di\u00e8re, J., Tria, A.: \u201cEfficiency of a glitch detector against electromagnetic fault injection,\u201d In: Design, Automation & Test in Europe Conference & Exhibition, DATE 2014, Dresden, Germany, March 24-28, 2014. IEEE, 2014, pp. 1\u20136. [Online]. Available: doi: 10.7873\/DATE.2014.216","DOI":"10.7873\/DATE.2014.216"}],"container-title":["Journal of Cryptographic Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s13389-016-0144-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s13389-016-0144-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s13389-016-0144-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,25]],"date-time":"2017-06-25T00:13:01Z","timestamp":1498349581000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s13389-016-0144-3"}},"subtitle":["A new approach against fault injection attack"],"short-title":[],"issued":{"date-parts":[[2016,11,22]]},"references-count":20,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2017,4]]}},"alternative-id":["144"],"URL":"https:\/\/doi.org\/10.1007\/s13389-016-0144-3","relation":{},"ISSN":["2190-8508","2190-8516"],"issn-type":[{"type":"print","value":"2190-8508"},{"type":"electronic","value":"2190-8516"}],"subject":[],"published":{"date-parts":[[2016,11,22]]}}}