{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,24]],"date-time":"2026-02-24T18:32:36Z","timestamp":1771957956277,"version":"3.50.1"},"publisher-location":"Cham","reference-count":78,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319989341","type":"print"},{"value":"9783319989358","type":"electronic"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-98935-8_7","type":"book-chapter","created":{"date-parts":[[2018,12,6]],"date-time":"2018-12-06T16:19:26Z","timestamp":1544113166000},"page":"135-155","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["Automatic Application of Software Countermeasures Against Physical Attacks"],"prefix":"10.1007","author":[{"given":"Nicolas","family":"Belleville","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Karine","family":"Heydemann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Damien","family":"Courouss\u00e9","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thierno","family":"Barry","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bruno","family":"Robisson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Abderrahmane","family":"Seriai","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Henri-Pierre","family":"Charles","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"7_CR1","doi-asserted-by":"crossref","unstructured":"G. Agosta, A. Barenghi, G. Pelosi, A code morphing methodology to automate power analysis countermeasures, in Proceedings of DAC (2012), pp. 77\u201382","DOI":"10.1145\/2228360.2228376"},{"key":"7_CR2","first-page":"1","volume-title":"Compiler-based side channel vulnerability analysis and optimized countermeasures application, in 2013 50th ACM\/EDAC\/IEEE Design Automation Conference (DAC)","author":"G Agosta","year":"2013","unstructured":"G. Agosta, A. Barenghi, M. Maggi, G. Pelosi, Compiler-based side channel vulnerability analysis and optimized countermeasures application, in 2013 50th ACM\/EDAC\/IEEE Design Automation Conference (DAC) (IEEE, Piscataway, 2013), pp. 1\u20136"},{"key":"7_CR3","first-page":"1","volume-title":"Information Leakage Chaff: Feeding Red Herrings to Side Channel Attackers","author":"G Agosta","year":"2015","unstructured":"G. Agosta, A. Barenghi, G. Pelosi, M. Scandale, Information Leakage Chaff: Feeding Red Herrings to Side Channel Attackers (ACM Press, New York, 2015), pp. 1\u20136"},{"issue":"8","key":"7_CR4","first-page":"1320","volume":"34","author":"G Agosta","year":"2015","unstructured":"G. Agosta, A. Barenghi, G. Pelosi, M. Scandale, The MEET approach: securing cryptographic embedded software against side channel attacks. IEEE TCAD 34(8), 1320\u20131333 (2015)","journal-title":"IEEE TCAD"},{"key":"7_CR5","doi-asserted-by":"publisher","first-page":"182","DOI":"10.1007\/978-3-642-12510-2_13","volume":"6035","author":"M Agoyan","year":"2010","unstructured":"M. Agoyan, J.-M. Dutertre, D. Naccache, B. Robisson, A. Tria, When clocks fail: on critical paths and clock faults. Lect. Notes Comput. Sci. 6035, 182\u2013193 (2010)","journal-title":"Lect. Notes Comput. Sci."},{"key":"7_CR6","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1007\/3-540-36400-5_4","volume":"2523","author":"D Agrawal","year":"2003","unstructured":"D. Agrawal, B. Archambeault, J. Rao, P. Rohatgi, The em Side-Channel(s). Lect. Notes Comput. Sci. 2523, 29\u201345 (2003)","journal-title":"Lect. Notes Comput. Sci."},{"key":"7_CR7","unstructured":"M.-L. Akkar, L. Goubin, O. Ly, Automatic integration of counter-measures against fault injection attacks (2003). Pre-print found at http:\/\/www.labri.fr\/Perso\/ly\/index.htm"},{"key":"7_CR8","doi-asserted-by":"crossref","unstructured":"A. Amarilli, S. M\u00fcller, D. Naccache, D. Page, P. Rauzy, M. Tunstall, Can code polymorphism limit information leakage? in IFIP International Workshop on Information Security Theory and Practices (Springer, 2011), pp. 1\u201321","DOI":"10.1007\/978-3-642-21040-2_1"},{"key":"7_CR9","doi-asserted-by":"crossref","unstructured":"J. Ambrose, R. Ragel, S. Parameswaran, RIJID: Random code injection to mask power analysis based side channel attacks, in 44th ACM\/IEEE Design Automation Conference, DAC \u201907, June 2007, pp. 489\u2013492","DOI":"10.1145\/1278480.1278606"},{"key":"7_CR10","doi-asserted-by":"crossref","unstructured":"F. Amiel, K. Villegas, B. Feix, L. Marcel, Passive and active combined attacks: combining fault attacks and side channel analysis, in Workshop on Fault Diagnosis and Tolerance in Cryptography, 2007. FDTC 2007 (IEEE, 2007), pp. 92\u201399","DOI":"10.1109\/FDTC.2007.12"},{"key":"7_CR11","volume-title":"Modern Compiler Implementation in C","author":"AW Appel","year":"2004","unstructured":"A.W. Appel, M. Ginsburg, Modern Compiler Implementation in C (Cambridge University Press, New York, 2004)"},{"key":"7_CR12","doi-asserted-by":"publisher","first-page":"260","DOI":"10.1007\/3-540-36400-5_20","volume":"2523","author":"C Aum\u00fcller","year":"2003","unstructured":"C. Aum\u00fcller, P. Bier, W. Fischer, P. Hofreiter, J.-P. Seifert, Fault attacks on RSA with CRT: concrete results and practical countermeasures. Lect. Notes Comput. Sci. 2523, 260\u2013275 (2003)","journal-title":"Lect. Notes Comput. Sci."},{"key":"7_CR13","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1007\/978-3-319-16763-3_5","volume":"8968","author":"J Balasch","year":"2015","unstructured":"J. Balasch, B. Gierlichs, V. Grosso, O. Reparaz, F.-X. Standaert, On the cost of lazy engineering for masked software implementations. Lect. Notes Comput. Sci. 8968, 64\u201381 (2015)","journal-title":"Lect. Notes Comput. Sci."},{"issue":"2","key":"7_CR14","doi-asserted-by":"publisher","first-page":"370","DOI":"10.1109\/JPROC.2005.862424","volume":"94","author":"H Bar-El","year":"2006","unstructured":"H. Bar-El, H. Choukri, D. Naccache, M. Tunstall, C. Whelan, The sorcerer\u2019s apprentice guide to fault attacks. Proc. IEEE 94(2), 370\u2013382 (2006)","journal-title":"Proc. IEEE"},{"issue":"2","key":"7_CR15","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1007\/s00145-008-9023-0","volume":"22","author":"M Barbosa","year":"2009","unstructured":"M. Barbosa, A. Moss, D. Page, Constructive and destructive use of compilers in elliptic curve cryptography. J. Cryptol. 22(2), 259\u2013281 (2009)","journal-title":"J. Cryptol."},{"key":"7_CR16","first-page":"1","volume-title":"Compilation of a countermeasure against instruction-skip fault attacks, in Proceedings of the Third Workshop on Cryptography and Security in Computing Systems","author":"T Barry","year":"2016","unstructured":"T. Barry, D. Courouss\u00e9, B. Robisson, Compilation of a countermeasure against instruction-skip fault attacks, in Proceedings of the Third Workshop on Cryptography and Security in Computing Systems (ACM, New York, 2016), pp. 1\u20136"},{"key":"7_CR17","doi-asserted-by":"crossref","unstructured":"A.G. Bayrak, F. Regazzoni, P. Brisk, F.-X. Standaert, P. Ienne, A first step towards automatic application of power analysis countermeasures, in Proceedings of the 48th Design Automation Conference (ACM, 2011), pp. 230\u2013235","DOI":"10.1145\/2024724.2024778"},{"issue":"4","key":"7_CR18","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/2086696.2086699","volume":"8","author":"Ali Galip Bayrak","year":"2012","unstructured":"A.G. Bayrak, N. Velickovic, P. Ienne, W. Burleson, An architecture-independent instruction shuffler to protect against side-channel attacks. ACM Trans. Archit. Code Optim. 8(4), 20:1\u201320:19 (2012)","journal-title":"ACM Transactions on Architecture and Code Optimization"},{"issue":"2","key":"7_CR19","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1109\/TC.2013.219","volume":"64","author":"AG Bayrak","year":"2015","unstructured":"A.G. Bayrak, F. Regazzoni, D. Novo, P. Brisk, F.-X. Standaert, P. Ienne, Automatic application of power analysis countermeasures. IEEE Trans. Comput. 64(2), 329\u2013341 (2015)","journal-title":"IEEE Trans. Comput."},{"key":"7_CR20","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1007\/3-540-44598-6_8","volume-title":"Advances in Cryptology \u2014 CRYPTO 2000","author":"Ingrid Biehl","year":"2000","unstructured":"I. Biehl, B. Meyer, V. M\u00fcller, Differential fault attacks on ellitic curve cryptosystems, in Advances in Cryptology (CRYPTO 2000), ed. by M. Bellare. Lecture Notes in Computer Science, vol. 1880 (Springer, Berlin, 2000)"},{"key":"7_CR21","first-page":"37","volume-title":"On the importance of checking cryptographic protocols for faults, in International Conference on the Theory and Applications of Cryptographic Techniques","author":"D Boneh","year":"1997","unstructured":"D. Boneh, R.A. DeMillo, R.J. Lipton, On the importance of checking cryptographic protocols for faults, in International Conference on the Theory and Applications of Cryptographic Techniques (Springer, Berlin, 1997), pp. 37\u201351"},{"key":"7_CR22","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1007\/s001450010016","volume":"14","author":"D Boneh","year":"2001","unstructured":"D. Boneh, R.A. DeMillo, R.J. Lipton, On the importance of eliminating errors in cryptographic computations. J. Cryptol. 14, 101\u2013119 (2001)","journal-title":"J. Cryptol."},{"key":"7_CR23","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1007\/978-3-540-28632-5_2","volume":"3156","author":"E Brier","year":"2004","unstructured":"E. Brier, C. Clavier, F. Olivier, Correlation power analysis with a leakage model. Lect. Notes Comput. Sci. 3156, 16\u201329 (2004)","journal-title":"Lect. Notes Comput. Sci."},{"key":"7_CR24","doi-asserted-by":"crossref","unstructured":"R.B. Carpi, S. Picek, L. Batina, F. Menarini, D. Jakobovic, M. Golub, Glitch it if you can: parametersearch strategies for successful fault injection, in Smart Card Research and Advanced Applications. Lecture Notes in Computer Science (Springer, Cham, 2013)","DOI":"10.1007\/978-3-319-08302-5_16"},{"key":"7_CR25","first-page":"57","volume-title":"CAMFAS: a compiler approach to mitigate fault attacks via enhanced SIMDization, in 2017 Workshop on Fault Diagnosis and Tolerance in Cryptography (FDTC)","author":"Z Chen","year":"2017","unstructured":"Z. Chen, J. Shen, A. Nicolau, A. Veidenbaum, N. Farhady. CAMFAS: a compiler approach to mitigate fault attacks via enhanced SIMDization, in 2017 Workshop on Fault Diagnosis and Tolerance in Cryptography (FDTC) (IEEE, Piscataway, 2017), pp. 57\u201364"},{"key":"7_CR26","doi-asserted-by":"publisher","first-page":"252","DOI":"10.1007\/3-540-44499-8_20","volume-title":"Cryptographic Hardware and Embedded Systems \u2014 CHES 2000","author":"Christophe Clavier","year":"2000","unstructured":"C. Clavier, J.-S. Coron, N. Dabbous, Differential power analysis in the presence of hardware countermeasures, in Cryptographic Hardware and Embedded Systems - CHES 2000. Lecture Notes in Computer Science (Springer, Berlin, 2000), pp. 252\u2013263"},{"key":"7_CR27","first-page":"156","volume-title":"Lecture Notes in Computer Science","author":"Jean-S\u00e9bastien Coron","year":"2009","unstructured":"J.-S. Coron, I. Kizhvatov, An efficient method for random delay generation in embedded software, in International Workshop on Cryptographic Hardware and Embedded Systems. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 5747 (2009), pp. 156\u2013170"},{"key":"7_CR28","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1007\/978-3-642-15031-9_7","volume-title":"Cryptographic Hardware and Embedded Systems, CHES 2010","author":"Jean-S\u00e9bastien Coron","year":"2010","unstructured":"J.-S. Coron, I. Kizhvatov, Analysis and improvement of the random delay countermeasure of CHES 2009, in International Workshop on Cryptographic Hardware and Embedded Systems. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 6225 (2010), pp. 95\u2013109"},{"key":"7_CR29","first-page":"136","volume":"9895","author":"D Courouss\u00e9","year":"2016","unstructured":"D. Courouss\u00e9, T. Barry, B. Robisson, P. Jaillon, O. Potin, J.-L. Lanet, Runtime Code Polymorphism as a Protection Against Side Channel Attacks, vol. 9895, Sept. 2016, pp. 136\u2013152","journal-title":"Runtime Code Polymorphism as a Protection Against Side Channel Attacks"},{"key":"7_CR30","doi-asserted-by":"crossref","unstructured":"S. Crane, A. Homescu, S. Brunthaler, P. Larsen, M. Franz, Thwarting cache side-channel attacks through dynamic software diversity. Internet Society, 2015","DOI":"10.14722\/ndss.2015.23264"},{"key":"7_CR31","first-page":"1","volume-title":"HCODE: Hardware-Enhanced Real-Time CFI","author":"J-L Danger","year":"2014","unstructured":"J.-L. Danger, S. Guilley, T. Porteboeuf, F. Praden, M. Timbert, HCODE: Hardware-Enhanced Real-Time CFI (ACM Press, New York, 2014), pp. 1\u201311"},{"key":"7_CR32","doi-asserted-by":"crossref","unstructured":"F. Dassance, A. Venelli, Combined fault and side-channel attacks on the AES key schedule (2012), pp. 63\u201371","DOI":"10.1109\/FDTC.2012.10"},{"key":"7_CR33","unstructured":"R. de Clercq, I. Verbauwhede, A survey of Hardware-based Control Flow Integrity (CFI) (2017). arXiv:1706.07257"},{"issue":"2","key":"7_CR34","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1007\/s10207-015-0282-0","volume":"15","author":"R Keulenaer De","year":"2016","unstructured":"R. De Keulenaer, J. Maebe, K. De Bosschere, B. De Sutter, Link-time smart card code hardening. Int. J. Inf. Secur. 15(2), 111\u2013130 (2016)","journal-title":"Int. J. Inf. Secur."},{"key":"7_CR35","first-page":"123","volume":"2012","author":"A Dehbaoui","year":"2012","unstructured":"A. Dehbaoui, J.-M. Dutertre, B. Robisson, P. Orsatelli, P. Maurine, A. Tria, Injection of transient faults using electromagnetic pulses -Practical results on a cryptographic system-. IACR Cryptology EPrint Archive 2012, 123 (2012)","journal-title":"IACR Cryptology EPrint Archive"},{"key":"7_CR36","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1007\/10721064_15","volume":"1820","author":"J-F Dhem","year":"2000","unstructured":"J.-F. Dhem, F. Koeune, P.-A. Leroux, P. Mestr\u00e9, J.-J. Quisquater, J.-L. Willems, A practical implementation of the timing attack. Lect. Notes Comput. Sci. 1820, 167\u2013182 (2000)","journal-title":"Lect. Notes Comput. Sci."},{"key":"7_CR37","unstructured":"L. Dureuil, M. Potet, P. de Choudens, C. Dumas, J. Cl\u00e9di\u00e8re, From code review to fault injection attacks: filling the gap using fault model inference, in Smart Card Research and Advanced Applications - 14th International Conference, CARDIS 2015, Bochum, Germany, November 4\u20136, 2015. Revised Selected Papers (2015), pp. 107\u2013124"},{"key":"7_CR38","doi-asserted-by":"crossref","unstructured":"P. Dusart, G. Letourneux, O. Vivolo, Differential fault analysis on AES, in Applied Cryptography and Network Security (ANCS 2003), ed. by M. Yung, Y. Han, J. Zhou. Lecture Notes in Computer Science, vol. 2846 (Springer, Berlin, 2003), pp. 293\u2013306","DOI":"10.1007\/978-3-540-45203-4_23"},{"key":"7_CR39","doi-asserted-by":"crossref","unstructured":"J.-M. Dutertre, S. De Castro, A. Sarafianos, N. Boher, B. Rouzeyre, M. Lisart, J. Damiens, P. Candeier, M.-L. Flottes, G. Di Natale, Laser attacks on integrated circuits: from CMOS to FD-SOI, in 2014 9th IEEE International Conference on Design & Technology of Integrated Systems in Nanoscale Era (DTIS) (IEEE, 2014), pp. 1\u20136","DOI":"10.1109\/DTIS.2014.6850664"},{"key":"7_CR40","first-page":"114","volume-title":"Synthesis of masking countermeasures against side channel attacks, in International Conference on Computer Aided Verification","author":"H Eldib","year":"2014","unstructured":"H. Eldib, C. Wang, Synthesis of masking countermeasures against side channel attacks, in International Conference on Computer Aided Verification (Springer, Berlin, 2014), pp. 114\u2013130"},{"key":"7_CR41","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1007\/978-3-642-23951-9_10","volume":"6917","author":"J Fan","year":"2011","unstructured":"J. Fan, B. Gierlichs, F. Vercauteren, To infinity and beyond: combined attack on ECC using points of low order. Lect. Notes Comput. Sci. 6917, 143\u2013159 (2011)","journal-title":"Lect. Notes Comput. Sci."},{"key":"7_CR42","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1007\/3-540-44709-1_21","volume":"2162","author":"K Gandolfi","year":"2001","unstructured":"K. Gandolfi, C. Mourtel, F. Olivier, Electromagnetic analysis: concrete results. Lect. Notes Comput. Sci. 2162, 251\u2013261 (2001)","journal-title":"Lect. Notes Comput. Sci."},{"issue":"2","key":"7_CR43","doi-asserted-by":"publisher","first-page":"392","DOI":"10.1007\/s00145-015-9224-2","volume":"30","author":"D Genkin","year":"2017","unstructured":"D. Genkin, A. Shamir, E. Tromer, Acoustic cryptanalysis. J. Cryptol. 30(2), 392\u2013443 (2017)","journal-title":"J. Cryptol."},{"key":"7_CR44","first-page":"158","volume-title":"DES and differential power analysis (The \u201cduplication\u201d method), in Proceedings of the First International Workshop on Cryptographic Hardware and Embedded Systems, CHES \u201999","author":"L Goubin","year":"1999","unstructured":"L. Goubin, J. Patarin, DES and differential power analysis (The \u201cduplication\u201d method), in Proceedings of the First International Workshop on Cryptographic Hardware and Embedded Systems, CHES \u201999 (Springer, London, 1999), pp. 158\u2013172"},{"key":"7_CR45","first-page":"993","volume-title":"Librando: Transparent Code Randomization for Just-in-Time Compilers","author":"A Homescu","year":"2013","unstructured":"A. Homescu, S. Brunthaler, P. Larsen, M. Franz, Librando: Transparent Code Randomization for Just-in-Time Compilers (ACM Press, New York, 2013), pp. 993\u20131004"},{"key":"7_CR46","doi-asserted-by":"crossref","unstructured":"M. Hutter, J.-M. Schmidt, The temperature side channel and heating fault attacks. Lect. Notes Comput. Sci. 8419 LNCS, 219\u2013235 (2014)","DOI":"10.1007\/978-3-319-14123-7_15"},{"key":"7_CR47","first-page":"623","volume-title":"Lecture Notes in Computer Science","author":"Anthony Journault","year":"2017","unstructured":"A. Journault, F.-X. Standaert, Very high order masking: efficient implementation and security evaluation, in Cryptographic Hardware and Embedded Systems - CHES 2017. Lecture Notes in Computer Science (Springer, Cham, 2017), pp. 623\u2013643"},{"key":"7_CR48","first-page":"104","volume-title":"Timing attacks on implementations of Diffie-Hellman, RSA, DSS, and other systems, in Advances in Cryptology - CRYPTO\u201996","author":"P Kocher","year":"1996","unstructured":"P. Kocher, Timing attacks on implementations of Diffie-Hellman, RSA, DSS, and other systems, in Advances in Cryptology - CRYPTO\u201996 (Springer, Berlin, 1996), pp. 104\u2013113"},{"key":"7_CR49","doi-asserted-by":"publisher","first-page":"388","DOI":"10.1007\/3-540-48405-1_25","volume":"1666","author":"P Kocher","year":"1999","unstructured":"P. Kocher, J. Jaffe, B. Jun, Differential power analysis. Lect. Notes Comput. Sci. 1666, 388\u2013397 (1999)","journal-title":"Lect. Notes Comput. Sci."},{"key":"7_CR50","first-page":"200","volume-title":"Software countermeasures for control flow integrity of smart card C codes, in European Symposium on Research in Computer Security","author":"J-F Lalande","year":"2014","unstructured":"J.-F. Lalande, K. Heydemann, P. Berthom\u00e9, Software countermeasures for control flow integrity of smart card C codes, in European Symposium on Research in Computer Security (Springer, Berlin, 2014), pp. 200\u2013218"},{"key":"7_CR51","first-page":"144","volume-title":"Towards secure cryptographic software implementation against side-channel power analysis attacks, in 2015 IEEE 26th International Conference on Application-Specific Systems, Architectures and Processors (ASAP)","author":"P Luo","year":"2015","unstructured":"P. Luo, L. Zhang, Y. Fei, A.A. Ding, Towards secure cryptographic software implementation against side-channel power analysis attacks, in 2015 IEEE 26th International Conference on Application-Specific Systems, Architectures and Processors (ASAP) (IEEE, Piscataway, 2015), pp. 144\u2013148"},{"key":"7_CR52","first-page":"541","volume-title":"Compiler-Assisted Threshold Implementation Against Power Analysis Attacks","author":"P Luo","year":"2017","unstructured":"P. Luo, K. Athanasiou, L. Zhang, Z.H. Jiang, Y. Fei, A.A. Ding, T. Wahl, Compiler-Assisted Threshold Implementation Against Power Analysis Attacks (IEEE, Piscataway, 2017), pp. 541\u2013544"},{"issue":"6","key":"7_CR53","doi-asserted-by":"publisher","first-page":"7994","DOI":"10.3390\/s120607994","volume":"12","author":"Pedro Malag\u00f3n","year":"2012","unstructured":"P. Malag\u00f3n, J.M. de Goyeneche, M. Zapater, J. Moya, Z. Bankovi\u0107, Compiler optimizations as a countermeasure against side-channel analysis in MSP430-based devices. Sensors (Switzerland) 12(6), 7994\u20138012 (2012)","journal-title":"Sensors"},{"key":"7_CR54","doi-asserted-by":"crossref","unstructured":"S. Mangard, E. Oswald, T. Popp, Power Analysis attacks: revealing the secrets of smart cards (2007). https:\/\/doi.org\/10.1007\/978-0-387-38162-6","DOI":"10.1007\/978-0-387-38162-6"},{"key":"7_CR55","volume-title":"Security of assembly programs against fault attacks on embedded processors","author":"N Moro","year":"2014","unstructured":"N. Moro, Security of assembly programs against fault attacks on embedded processors, Theses, Universit\u00e9 Pierre et Marie Curie - Paris VI, Nov. 2014"},{"key":"7_CR56","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1109\/FDTC.2013.9","volume-title":"Electromagnetic fault injection: towards a fault model on a 32-bit microcontroller, in 2013 Workshop on Fault Diagnosis and Tolerance in Cryptography (FDTC)","author":"N Moro","year":"2013","unstructured":"N. Moro, A. Dehbaoui, K. Heydemann, B. Robisson, E. Encrenaz, Electromagnetic fault injection: towards a fault model on a 32-bit microcontroller, in 2013 Workshop on Fault Diagnosis and Tolerance in Cryptography (FDTC) (IEEE, Piscataway, 2013), pp. 77\u201388"},{"issue":"3","key":"7_CR57","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1007\/s13389-014-0077-7","volume":"4","author":"N Moro","year":"2014","unstructured":"N. Moro, K. Heydemann, E. Encrenaz, B. Robisson, Formal verification of a software countermeasure against instruction skip attacks. J. Cryptogr. Eng. 4(3), 145\u2013156 (2014)","journal-title":"J. Cryptogr. Eng."},{"key":"7_CR58","doi-asserted-by":"publisher","first-page":"58","DOI":"10.1007\/978-3-642-33027-8_4","volume":"7428","author":"A Moss","year":"2012","unstructured":"A. Moss, E. Oswald, D. Page, M. Tunstall, Compiler assisted masking. Lect. Notes Comput. Sci. 7428, 58\u201375 (2012)","journal-title":"Lect. Notes Comput. Sci."},{"key":"7_CR59","volume-title":"Advanced Compiler Design and Implementation","author":"SS Muchnick","year":"1997","unstructured":"S.S. Muchnick, Advanced Compiler Design and Implementation (Morgan Kaufmann Publishers Inc., San Francisco, 1997)"},{"key":"7_CR60","first-page":"245","volume-title":"Evidence of a larger EM-induced fault model, in International Conference on Smart Card Research and Advanced Applications","author":"S Ordas","year":"2014","unstructured":"S. Ordas, L. Guillaume-Sage, K. Tobich, J.-M. Dutertre, P. Maurine, Evidence of a larger EM-induced fault model, in International Conference on Smart Card Research and Advanced Applications (Springer, Berlin, 2014), pp. 245\u2013259"},{"key":"7_CR61","doi-asserted-by":"crossref","unstructured":"S. Ordas, L. Guillaume-Sage, P. Maurine, EM injection: fault model and locality, in 2015 Workshop on Fault Diagnosis and Tolerance in Cryptography (FDTC) (2015), pp. 3\u201313","DOI":"10.1109\/FDTC.2015.9"},{"key":"7_CR62","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1007\/978-3-319-16763-3_15","volume":"8968","author":"S Ordas","year":"2015","unstructured":"S. Ordas, L. Guillaume-Sage, K. Tobich, J.-M. Dutertre, P. Maurine, Evidence of a larger EM-induced fault model. Lect. Notes Comput. Sci. 8968, 245\u2013259 (2015)","journal-title":"Lect. Notes Comput. Sci."},{"key":"7_CR63","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4614-6783-0","volume-title":"Advanced DPA Theory and Practice","author":"Eric Peeters","year":"2013","unstructured":"E. Peeters, Advanced DPA Theory and Practice: Towards the Security Limits of Secure Embedded Circuits (2013). https:\/\/doi.org\/10.1007\/978-1-4614-6783-0"},{"issue":"4","key":"7_CR64","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3141234","volume":"14","author":"Julien Proy","year":"2017","unstructured":"J. Proy, K. Heydemann, A. Berzati, A. Cohen, Compiler-assisted loop hardening against fault attacks. ACM Trans. Archit. Code Optim. 14(4), 36:1\u201336:25 (2017)","journal-title":"ACM Transactions on Architecture and Code Optimization"},{"key":"7_CR65","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1007\/3-540-45418-7_17","volume-title":"Smart Card Programming and Security","author":"Jean-Jacques Quisquater","year":"2001","unstructured":"J.-J. Quisquater, D. Samyde, ElectroMagnetic analysis (EMA): measures and counter-measures for smart cards, in Smart Card Programming and Security. Lecture Notes in Computer Science (Springer, Berlin, 2001), pp. 200\u2013210. https:\/\/doi.org\/10.1007\/3-540-45418-7_17"},{"key":"7_CR66","first-page":"431","volume-title":"Raccoon: closing digital side-channels through obfuscated execution, in Proceedings of the 24th USENIX Conference on Security Symposium, SEC\u201915","author":"A Rane","year":"2015","unstructured":"A. Rane, C. Lin, M. Tiwari, Raccoon: closing digital side-channels through obfuscated execution, in Proceedings of the 24th USENIX Conference on Security Symposium, SEC\u201915 (USENIX Association, Berkeley, 2015), pp. 431\u2013446"},{"key":"7_CR67","doi-asserted-by":"crossref","unstructured":"P. Rauzy, S. Guilley, Countermeasures against high-order fault-injection attacks on CRT-RSA, in 2014 Workshop on Fault Diagnosis and Tolerance in Cryptography (FDTC) (IEEE, 2014), pp. 68\u201382","DOI":"10.1109\/FDTC.2014.17"},{"issue":"3","key":"7_CR68","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1007\/s13389-015-0105-2","volume":"6","author":"P Rauzy","year":"2016","unstructured":"P. Rauzy, S. Guilley, Z. Najm, Formally proved security of assembly code against power analysis: a case study on balanced logic. J. Cryptogr. Eng. 6(3), 201\u2013216 (2016)","journal-title":"J. Cryptogr. Eng."},{"key":"7_CR69","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1109\/CGO.2005.34","volume-title":"SWIFT: software implemented fault tolerance, in Proceedings of the international symposium on Code generation and optimization","author":"GA Reis","year":"2005","unstructured":"G.A. Reis, J. Chang, N. Vachharajani, R. Rangan, D.I. August, SWIFT: software implemented fault tolerance, in Proceedings of the international symposium on Code generation and optimization (IEEE Computer Society, Piscataway, 2005), pp. 243\u2013254"},{"key":"7_CR70","first-page":"171","volume-title":"Lecture Notes in Computer Science","author":"Matthieu Rivain","year":"2009","unstructured":"M. Rivain, E. Prouff, J. Doget, Higher-order masking and shuffling for software implementations of block ciphers, in Cryptographic Hardware and Embedded Systems - CHES 2009. Lecture Notes in Computer Science (Springer, Berlin, 2009), pp. 171\u2013188. https:\/\/doi.org\/10.1007\/978-3-642-04138-9_13"},{"key":"7_CR71","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1007\/978-3-642-27257-8_5","volume":"7079","author":"T Roche","year":"2011","unstructured":"T. Roche, V. Lomn\u00e9, K. Khalfallah, Combined fault and side-channel attack on protected implementations of AES. Lect. Notes Comput. Sci. 7079, 65\u201383 (2011)","journal-title":"Lect. Notes Comput. Sci."},{"key":"7_CR72","first-page":"7","volume-title":"Side-Channel Leakage Aware Instruction Scheduling","author":"H Seuschek","year":"2017","unstructured":"H. Seuschek, F. De Santis, O.M. Guillen, Side-Channel Leakage Aware Instruction Scheduling (ACM Press, New York, 2017), pp. 7\u201312"},{"issue":"1","key":"7_CR73","first-page":"108","volume":"1","author":"J Sifakis","year":"2011","unstructured":"J. Sifakis, A vision for computer science - the system perspective. Cent. Eur. J. Comput. Sci. 1(1), 108\u2013116 (2011)","journal-title":"Cent. Eur. J. Comput. Sci."},{"key":"7_CR74","doi-asserted-by":"crossref","unstructured":"S. Skorobogatov, Local heating attacks on flash memory devices, in IEEE International Workshop on Hardware-Oriented Security and Trust (HOST\u201909) (IEEE Computer Society, 2009), pp. 1\u20136","DOI":"10.1109\/HST.2009.5225028"},{"key":"7_CR75","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1007\/3-540-36400-5_2","volume":"2523","author":"S Skorobogatov","year":"2003","unstructured":"S. Skorobogatov, R. Anderson, Optical fault induction attacks. Lect. Notes Comput. Sci. 2523, 2\u201312 (2003)","journal-title":"Lect. Notes Comput. Sci."},{"key":"7_CR76","doi-asserted-by":"publisher","DOI":"10.1201\/9781420043839","volume-title":"The Compiler Design Handbook: Optimizations and Machine Code Generation","author":"Y Srikant","year":"2007","unstructured":"Y. Srikant, P. Shankar, The Compiler Design Handbook: Optimizations and Machine Code Generation, 2nd edn. (CRC Press, Boca Raton, 2007)","edition":"2"},{"key":"7_CR77","doi-asserted-by":"crossref","unstructured":"N. Timmers, A. Spruyt, M. Witteman, Controlling PC on ARM using fault injection, in 2016 Workshop on Fault Diagnosis and Tolerance in Cryptography (FDTC) (IEEE, 2016), pp. 25\u201335","DOI":"10.1109\/FDTC.2016.18"},{"key":"7_CR78","doi-asserted-by":"publisher","first-page":"577","DOI":"10.1007\/0-387-25660-1_38","volume":"181","author":"J VanLaven","year":"2005","unstructured":"J. VanLaven, M. Brehob, K. Compton, A computationally feasible SPA attack on AES via optimized search. IFIP Adv. Inf. Commun. Technol. 181, 577\u2013588 (2005)","journal-title":"IFIP Adv. Inf. Commun. Technol."}],"container-title":["Cyber-Physical Systems Security"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-98935-8_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,11,6]],"date-time":"2019-11-06T18:00:35Z","timestamp":1573063235000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-98935-8_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319989341","9783319989358"],"references-count":78,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-98935-8_7","relation":{},"subject":[],"published":{"date-parts":[[2018]]}}}