{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:50:13Z","timestamp":1742914213073,"version":"3.40.3"},"publisher-location":"Cham","reference-count":28,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319170152"},{"type":"electronic","value":"9783319170169"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-17016-9_19","type":"book-chapter","created":{"date-parts":[[2015,3,29]],"date-time":"2015-03-29T00:52:41Z","timestamp":1427590361000},"page":"293-308","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["High-Level Simulation for Multiple Fault Injection Evaluation"],"prefix":"10.1007","author":[{"given":"Maxime","family":"Puys","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lionel","family":"Rivi\u00e8re","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Julien","family":"Bringer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thanh-ha","family":"Le","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,3,28]]},"reference":[{"key":"19_CR1","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":"19_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"513","DOI":"10.1007\/BFb0052259","volume-title":"Advances in Cryptology - CRYPTO \u201997","author":"E Biham","year":"1997","unstructured":"Biham, E., Shamir, A.: Differential fault analysis of secret key cryptosystems. In: Kaliski Jr., B.S. (ed.) CRYPTO 1997. LNCS, vol. 1294, pp. 513\u2013525. Springer, Heidelberg (1997)"},{"key":"19_CR3","unstructured":"CSE, Scssi, BSI, Nlncsa, CESG, Nist, and NSA. Common Criteria 2. https:\/\/www.commoncriteriaportal.org"},{"issue":"21","key":"19_CR4","doi-asserted-by":"publisher","first-page":"905","DOI":"10.1049\/el:19820617","volume":"18","author":"J-J Quisquater","year":"1982","unstructured":"Quisquater, J.-J., Couvreur, C.: Fast decipherment algorithm for rsa public-key cryptosystem. Electron. Lett. 18(21), 905\u2013907 (1982)","journal-title":"Electron. Lett."},{"key":"19_CR5","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 fault injection. In: ICST (2014)","DOI":"10.1109\/ICST.2014.34"},{"issue":"4","key":"19_CR6","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1007\/s001459900055","volume":"12","author":"M Joye","year":"1999","unstructured":"Joye, M., Lenstra, A.K., Quisquater, J.-J.: Chinese remaindering based cryptosystems in the presence of faults. J. Cryptol. 12(4), 241\u2013245 (1999)","journal-title":"J. Cryptol."},{"key":"19_CR7","doi-asserted-by":"crossref","unstructured":"Miani, R.-S., Cukier, M., Zarpel\u00e3o, B.B., de Souza Mendes, L.: Relationships between information security metrics: an empirical study. In: Proceedings of the Eighth Annual Cyber Security and Information Intelligence Research Workshop, CSIIRW 2013, pp. 22:1\u201322:4. ACM, New York (2013)","DOI":"10.1145\/2459976.2460002"},{"key":"19_CR8","doi-asserted-by":"crossref","unstructured":"Vaughn, R.B., Henning, R.R., Siraj, A.: Information assurance measures and metrics - state of practice and proposed taxonomy. In: HICSS, p. 331 (2003)","DOI":"10.1109\/HICSS.2003.1174904"},{"key":"19_CR9","doi-asserted-by":"crossref","unstructured":"Savola, R.: Towards a taxonomy for information security metrics. In: Karjoth, G., St\u00f8len, K. (eds.) QoP, pp. 28\u201330. ACM (2007)","DOI":"10.1145\/1314257.1314266"},{"key":"19_CR10","doi-asserted-by":"crossref","unstructured":"Jansen, W.: Directions in security metrics research. DIANE Publishing, NISTIR 7564 (2010)","DOI":"10.6028\/NIST.IR.7564"},{"key":"19_CR11","unstructured":"Christofi, M.: Preuves de s\u00e9curit\u00e9 outill\u00e9es d\u2019impl\u00e9mentation cryptographiques. Ph.D. thesis, Laboratoire PRiSM, Universit\u00e9 de Versailles Saint Quentin-en-Yvelines, France (2013)"},{"issue":"3","key":"19_CR12","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. Crypt. Eng. 3(3), 157\u2013167 (2013)","journal-title":"J. Crypt. Eng."},{"key":"19_CR13","doi-asserted-by":"crossref","unstructured":"Rauzy, P., Guilley, S.: A formal proof of countermeasures against fault injection attacks on CRT-RSA, vol. 2013, pp. 506 (2013)","DOI":"10.1109\/FDTC.2014.17"},{"key":"19_CR14","unstructured":"A. Shamir. Method and apparatus for protecting public key schemes from timing and fault attacks. Patent Number 5,991,415, November 1999 (Also presented at the rump session of EUROCRYPT 1997)"},{"key":"19_CR15","series-title":"Lecture Notes in Computer Science","first-page":"260","volume-title":"Cryptographic Hardware and Embedded Systems - CHES 2002","author":"C Aum\u00fcller","year":"2002","unstructured":"Aum\u00fcller, C., Bier, P., Fischer, W., Hofreiter, P., Seifert, J.-P.: Fault attacks on RSA with CRT: concrete results and practical countermeasures. In: Kaliski Jr., B.S., Ko\u00e7, \u00c7.K., Paar, C. (eds.) CHES 2002. LNCS, pp. 260\u2013275. Springer, Heidelberg (2002)"},{"key":"19_CR16","doi-asserted-by":"crossref","unstructured":"Rauzy, P., Guilley. S.: Formal analysis of CRT-RSA vigilant\u2019s countermeasure against the bellcore attack: a pledge for formal methods in the field of implementation security. In: Jagannathan, S., Sewell, P. (eds.) PPREW@POPL, p. 2. ACM (2014)","DOI":"10.1145\/2556464.2556466"},{"key":"19_CR17","unstructured":"Kauffmann-Tourkestansky, X.: Analyses securitaires de code de carte a puce sous attaques physiques simulees. Ph.D. thesis, Universit\u00e9 d\u2019Orl\u00e9ans (2012)"},{"key":"19_CR18","unstructured":"Heydemann, K., Moro, N., Encrenaz, E., Robisson, B., Formal verification of a software countermeasure against instruction skip attacks. In: PROOFS 2013, Aot, Santa-Barbara, \u00c9tats-Unis (2013)"},{"key":"19_CR19","unstructured":"ARM Architecture Reference Manual - Thumb-2 Supplement (2005)"},{"key":"19_CR20","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":"RK Brayton","year":"1996","unstructured":"Brayton, R.K., et al.: VIS: A system for verification and synthesis. In: Alur, R., Henzinger, T.A. (eds.) CAV 1996. LNCS, pp. 428\u2013432. Springer, Heidelberg (1996)"},{"key":"19_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"222","DOI":"10.1007\/978-3-319-04897-0_15","volume-title":"Engineering Secure Software and Systems","author":"M Berthier","year":"2014","unstructured":"Berthier, M., Bringer, J., Chabanne, H., Le, T.-H., Rivi\u00e8re, L., Servant, V.: Idea: embedded fault injection simulator on smartcard. In: J\u00fcrjens, J., Piessens, F., Bielova, N. (eds.) ESSoS. LNCS, vol. 8364, pp. 222\u2013229. Springer, Heidelberg (2014)"},{"key":"19_CR22","unstructured":"The KLEE symbolic virtual machine. http:\/\/klee.llvm.org\/"},{"key":"19_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"130","DOI":"10.1007\/978-3-540-85053-3_9","volume-title":"Cryptographic Hardware and Embedded Systems \u2013 CHES 2008","author":"D Vigilant","year":"2008","unstructured":"Vigilant, D.: RSA with CRT: a new cost-effective solution to thwart fault attacks. In: Oswald, E., Rohatgi, P. (eds.) CHES 2008. LNCS, vol. 5154, pp. 130\u2013145. Springer, Heidelberg (2008)"},{"key":"19_CR24","doi-asserted-by":"crossref","unstructured":"Moro, N., Dehbaoui, A., Heydemann, K., Robisson, B., Encrenaz, E.: Electromagnetic fault injection: towards a fault model on a 32-bit microcontroller. In: FDTC, pp. 77\u201388. IEEE (2013)","DOI":"10.1109\/FDTC.2013.9"},{"key":"19_CR25","first-page":"937","volume":"3","author":"VK Kosuri","year":"2013","unstructured":"Kosuri, V.K., Fazal, N.: FPGA modeling of fault-injection attacks on cryptographic devices. IJERA 3, 937\u2013943 (2013)","journal-title":"IJERA"},{"key":"19_CR26","unstructured":"http:\/\/www.sourceware.org\/gdb\/"},{"issue":"10","key":"19_CR27","doi-asserted-by":"publisher","first-page":"1660","DOI":"10.1016\/j.jss.2011.04.026","volume":"84","author":"S-K Kim","year":"2011","unstructured":"Kim, S.-K., Kim, T.H., Han, D.-G., Hong, S.: An efficient CRT-RSA algorithm secure against power and fault attacks. J. Syst. Softw. 84(10), 1660\u20131669 (2011)","journal-title":"J. Syst. Softw."},{"key":"19_CR28","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. 7864, pp. 17\u201331. Springer, Heidelberg (2013)"}],"container-title":["Lecture Notes in Computer Science","Data Privacy Management, Autonomous Spontaneous Security, and Security Assurance"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-17016-9_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,21]],"date-time":"2023-02-21T00:27:00Z","timestamp":1676939220000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-17016-9_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319170152","9783319170169"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-17016-9_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"28 March 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}