{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,10]],"date-time":"2024-09-10T22:00:45Z","timestamp":1726005645737},"publisher-location":"Cham","reference-count":32,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030112448"},{"type":"electronic","value":"9783030112455"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"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":[[2019]]},"DOI":"10.1007\/978-3-030-11245-5_9","type":"book-chapter","created":{"date-parts":[[2019,1,10]],"date-time":"2019-01-10T18:45:18Z","timestamp":1547145918000},"page":"183-204","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Small Faults Grow Up - Verification of Error Masking Robustness in Arithmetically Encoded Programs"],"prefix":"10.1007","author":[{"given":"Anja F.","family":"Karl","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Robert","family":"Schilling","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Roderick","family":"Bloem","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefan","family":"Mangard","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,1,11]]},"reference":[{"key":"9_CR1","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1007\/s13389-012-0046-y","volume":"3","author":"S Ali","year":"2013","unstructured":"Ali, S., Mukhopadhyay, D., Tunstall, M.: Differential fault analysis of AES: towards reaching its limits. J. Cryptogr. Eng. 3, 73\u201397 (2013). \nhttps:\/\/doi.org\/10.1007\/s13389-012-0046-y","journal-title":"J. Cryptogr. Eng."},{"key":"9_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1007\/10722468_7","volume-title":"SPIN Model Checking and Software Verification","author":"T Ball","year":"2000","unstructured":"Ball, T., Rajamani, S.K.: Bebop: a symbolic model checker for boolean programs. In: Havelund, K., Penix, J., Visser, W. (eds.) SPIN 2000. LNCS, vol. 1885, pp. 113\u2013130. Springer, Heidelberg (2000). \nhttps:\/\/doi.org\/10.1007\/10722468_7"},{"key":"9_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, 370\u2013382 (2006). \nhttps:\/\/doi.org\/10.1109\/JPROC.2005.862424","journal-title":"Proc. IEEE"},{"issue":"3","key":"9_CR4","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1109\/TDMR.2005.853449","volume":"5","author":"RC Baumann","year":"2005","unstructured":"Baumann, R.C.: Radiation-induced soft errors in advanced semiconductor technologies. IEEE Trans. Device Mater. Reliab. 5(3), 305\u2013316 (2005)","journal-title":"IEEE Trans. Device Mater. Reliab."},{"issue":"3","key":"9_CR5","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1007\/s10817-017-9432-6","volume":"60","author":"D Beyer","year":"2018","unstructured":"Beyer, D., Dangl, M., Wendler, P.: A unifying view on SMT-based software verification. J. Autom. Reason. 60(3), 299\u2013335 (2018)","journal-title":"J. Autom. Reason."},{"key":"9_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"184","DOI":"10.1007\/978-3-642-22110-1_16","volume-title":"Computer Aided Verification","author":"D Beyer","year":"2011","unstructured":"Beyer, D., Keremoglu, M.E.: CPAchecker: a tool for configurable software verification. In: Gopalakrishnan, G., Qadeer, S. (eds.) CAV 2011. LNCS, vol. 6806, pp. 184\u2013190. Springer, Heidelberg (2011). \nhttps:\/\/doi.org\/10.1007\/978-3-642-22110-1_16"},{"key":"9_CR7","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1007\/s001450010016","volume":"14","author":"D Boneh","year":"2001","unstructured":"Boneh, D., DeMillo, R.A., Lipton, R.J.: On the importance of eliminating errors in cryptographic computations. J. Cryptol. 14, 101\u2013119 (2001). \nhttps:\/\/doi.org\/10.1007\/s001450010016","journal-title":"J. Cryptol."},{"key":"9_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1007\/3-540-63141-0_10","volume-title":"CONCUR \u201997: Concurrency Theory","author":"A Bouajjani","year":"1997","unstructured":"Bouajjani, A., Esparza, J., Maler, O.: Reachability analysis of pushdown automata: application to model-checking. In: Mazurkiewicz, A., Winkowski, J. (eds.) CONCUR 1997. LNCS, vol. 1243, pp. 135\u2013150. Springer, Heidelberg (1997). \nhttps:\/\/doi.org\/10.1007\/3-540-63141-0_10"},{"key":"9_CR9","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1109\/TEC.1960.5219855","volume":"9","author":"DT Brown","year":"1960","unstructured":"Brown, D.T.: Error detecting and correcting binary codes for arithmetic operations. IRE Trans. Electron. Comput. 9, 333\u2013337 (1960). \nhttps:\/\/doi.org\/10.1109\/TEC.1960.5219855","journal-title":"IRE Trans. Electron. Comput."},{"issue":"4","key":"9_CR10","doi-asserted-by":"publisher","first-page":"483","DOI":"10.1109\/JRPROC.1955.277858","volume":"43","author":"JM Diamond","year":"1955","unstructured":"Diamond, J.M.: Checking codes for digital computers. Proc. IRE 43(4), 483\u2013490 (1955). \nhttps:\/\/doi.org\/10.1109\/JRPROC.1955.277858","journal-title":"Proc. IRE"},{"key":"9_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"283","DOI":"10.1007\/978-3-642-04468-7_23","volume-title":"Computer Safety, Reliability, and Security","author":"C Fetzer","year":"2009","unstructured":"Fetzer, C., Schiffel, U., S\u00fc\u00dfkraut, M.: AN-encoding compiler: building safety-critical systems with commodity hardware. In: Buth, B., Rabe, G., Seyfarth, T. (eds.) SAFECOMP 2009. LNCS, vol. 5775, pp. 283\u2013296. Springer, Heidelberg (2009). \nhttps:\/\/doi.org\/10.1007\/978-3-642-04468-7_23"},{"key":"9_CR12","unstructured":"Given-Wilson, T., Heuser, A., Jafri, N., Lanet, J.L., Legay, A.: An automated and scalable formal process for detecting fault injection vulnerabilities in binaries (2017). \nhttps:\/\/hal.inria.fr\/hal-01629135\n\n, working paper or preprint"},{"issue":"6","key":"9_CR13","doi-asserted-by":"publisher","first-page":"657","DOI":"10.1109\/JRPROC.1949.233620","volume":"37","author":"M Golay","year":"1949","unstructured":"Golay, M.: Notes on digital coding. Proc. IRE 37(6), 657\u2013657 (1949). \nhttps:\/\/doi.org\/10.1109\/JRPROC.1949.233620","journal-title":"Proc. IRE"},{"issue":"2","key":"9_CR14","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1002\/j.1538-7305.1950.tb00463.x","volume":"29","author":"RW Hamming","year":"1950","unstructured":"Hamming, R.W.: Error detecting and error correcting codes. Bell Labs Tech. J. 29(2), 147\u2013160 (1950)","journal-title":"Bell Labs Tech. J."},{"key":"9_CR15","doi-asserted-by":"crossref","unstructured":"Kim, Y., et al.: Flipping bits in memory without accessing them: an experimental study of DRAM disturbance errors. In: International Symposium on Computer Architecture \u2013 ISCA 2014, pp. 361\u2013372 (2014)","DOI":"10.1145\/2678373.2665726"},{"key":"9_CR16","unstructured":"Larsson, D., H\u00e4hnle, R.: Symbolic fault injection. In: Beckert, B. (ed.) Proceedings of 4th International Verification Workshop in connection with CADE-21. CEUR Workshop Proceedings, Bremen, Germany, 15\u201316 July 2007, vol. 259. CEUR-WS.org (2007). \nhttp:\/\/ceur-ws.org\/Vol-259\/paper09.pdf"},{"issue":"4","key":"9_CR17","first-page":"3","volume":"3","author":"JL Massey","year":"1964","unstructured":"Massey, J.L.: Survey of residue coding for arithmetic errors. Int. Comput. Cent. Bull. 3(4), 3\u201317 (1964)","journal-title":"Int. Comput. Cent. Bull."},{"key":"9_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1007\/978-3-642-10838-9_5","volume-title":"Information Security Applications","author":"M Medwed","year":"2009","unstructured":"Medwed, M., Schmidt, J.-M.: Coding schemes for arithmetic and logic operations - how robust are they? In: Youm, H.Y., Yung, M. (eds.) WISA 2009. LNCS, vol. 5932, pp. 51\u201365. Springer, Heidelberg (2009). \nhttps:\/\/doi.org\/10.1007\/978-3-642-10838-9_5"},{"key":"9_CR19","doi-asserted-by":"publisher","DOI":"10.1201\/9781439821916","volume-title":"Handbook of Applied Cryptography","author":"A Menezes","year":"1996","unstructured":"Menezes, A., van Oorschot, P.C., Vanstone, S.A.: Handbook of Applied Cryptography. CRC Press, Boca Raton (1996)"},{"key":"9_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"468","DOI":"10.1007\/978-3-642-11957-6_25","volume-title":"Programming Languages and Systems","author":"ML Meola","year":"2010","unstructured":"Meola, M.L., Walker, D.: Faulty logic: reasoning about fault tolerant programs. In: Gordon, A.D. (ed.) ESOP 2010. LNCS, vol. 6012, pp. 468\u2013487. Springer, Heidelberg (2010). \nhttps:\/\/doi.org\/10.1007\/978-3-642-11957-6_25"},{"issue":"11","key":"9_CR21","doi-asserted-by":"publisher","first-page":"2292","DOI":"10.1109\/TC.2012.219","volume":"62","author":"K Pattabiraman","year":"2013","unstructured":"Pattabiraman, K., Nakka, N., Kalbarczyk, Z.T., Iyer, R.K.: SymPLFIED: symbolic program-level fault injection and error detection framework. IEEE Trans. Comput. 62(11), 2292\u20132307 (2013). \nhttps:\/\/doi.org\/10.1109\/TC.2012.219","journal-title":"IEEE Trans. Comput."},{"key":"9_CR22","volume-title":"Error-Correcting Codes","author":"WW Peterson","year":"1961","unstructured":"Peterson, W.W.: Error-Correcting Codes. MIT Press, Cambridge (1961)"},{"issue":"5","key":"9_CR23","doi-asserted-by":"publisher","first-page":"398","DOI":"10.1109\/T-C.1970.222937","volume":"19","author":"TRN Rao","year":"1970","unstructured":"Rao, T.R.N.: Biresidue error-correcting codes for computer arithmetic. IEEE Trans. Comput. 19(5), 398\u2013402 (1970)","journal-title":"IEEE Trans. Comput."},{"issue":"1","key":"9_CR24","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1109\/TIT.1971.1054579","volume":"17","author":"TRN Rao","year":"1971","unstructured":"Rao, T.R.N., Garcia, O.N.: Cyclic and multiresidue codes for arithmetic operations. IEEE Trans. Inf. Theory 17(1), 85\u201391 (1971)","journal-title":"IEEE Trans. Inf. Theory"},{"key":"9_CR25","unstructured":"Rink, N.A., Castrill\u00f3n, J.: Extending a compiler backend for complete memory error detection. In: Dencker, P., Klenk, H., Keller, H.B., Pl\u00f6dereder, E. (eds.) Automotive - Safety and Security 2017 - Sicherheit und Zuverl\u00e4ssigkeit f\u00fcr automobile Informations technik. LNI, Stuttgart, Germany, 30\u201331 Mai 2017, vol. P-269, pp. 61\u201374. Gesellschaft f\u00fcr Informatik, Bonn (2017). \nhttps:\/\/dl.gi.de\/20.500.12116\/147"},{"key":"9_CR26","unstructured":"Schiffel, U.: Hardware error detection using AN-codes. Ph.D. thesis, Dresden University of Technology (2011). \nhttp:\/\/nbn-resolving.de\/urn:nbn:de:bsz:14-qucosa-69872"},{"key":"9_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"190","DOI":"10.1007\/978-3-642-40793-2_18","volume-title":"Computer Safety, Reliability, and Security","author":"U Schiffel","year":"2013","unstructured":"Schiffel, U.: Safety transformations: sound and complete? In: Bitsch, F., Guiochet, J., Ka\u00e2niche, M. (eds.) SAFECOMP 2013. LNCS, vol. 8153, pp. 190\u2013201. Springer, Heidelberg (2013). \nhttps:\/\/doi.org\/10.1007\/978-3-642-40793-2_18"},{"key":"9_CR28","doi-asserted-by":"crossref","unstructured":"Schilling, R., Werner, M., Mangard, S.: Securing conditional branches in the presence of fault attacks. In: Design, Automation and Test in Europe Conference and Exhibition \u2013 DATE 2018, pp. 1586\u20131591 (2018)","DOI":"10.23919\/DATE.2018.8342268"},{"key":"9_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1007\/978-3-319-31271-2_12","volume-title":"Smart Card Research and Advanced Applications","author":"B Selmke","year":"2016","unstructured":"Selmke, B., Brummer, S., Heyszl, J., Sigl, G.: Precise laser fault injections into 90\u00a0nm and 45\u00a0nm SRAM-cells. In: Homma, N., Medwed, M. (eds.) CARDIS 2015. LNCS, vol. 9514, pp. 193\u2013205. Springer, Cham (2016). \nhttps:\/\/doi.org\/10.1007\/978-3-319-31271-2_12"},{"key":"9_CR30","doi-asserted-by":"publisher","unstructured":"Sharma, V.C., Haran, A., Rakamaric, Z., Gopalakrishnan, G.: Towards formal approaches to system resilience. In: IEEE 19th Pacific Rim International Symposium on Dependable Computing, PRDC 2013, Vancouver, BC, Canada, 2\u20134 December 2013, pp. 41\u201350. IEEE Computer Society (2013). \nhttps:\/\/doi.org\/10.1109\/PRDC.2013.14","DOI":"10.1109\/PRDC.2013.14"},{"key":"9_CR31","doi-asserted-by":"publisher","unstructured":"Walker, D., Mackey, L.W., Ligatti, J., Reis, G.A., August, D.I.: Static typing for a faulty lambda calculus. In: Reppy, J.H., Lawall, J.L. (eds.) Proceedings of the 11th ACM SIGPLAN International Conference on Functional Programming, ICFP 2006, Portland, Oregon, USA, 16\u201321 September 2006, pp. 38\u201349. ACM (2006). \nhttps:\/\/doi.org\/10.1145\/1159803.1159809","DOI":"10.1145\/1159803.1159809"},{"key":"9_CR32","unstructured":"Werner, M., Unterluggauer, T., Schaffenrath, D., Mangard, S.: Sponge-based control-flow protection for IoT devices. CoRR abs\/1802.06691 (2018). \nhttp:\/\/arxiv.org\/abs\/1802.06691"}],"container-title":["Lecture Notes in Computer Science","Verification, Model Checking, and Abstract Interpretation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-11245-5_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,1,10]],"date-time":"2019-01-10T18:48:22Z","timestamp":1547146102000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-11245-5_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030112448","9783030112455"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-11245-5_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"VMCAI","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Verification, Model Checking, and Abstract Interpretation","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Cascais","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Portugal","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"13 January 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"15 January 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"20","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"vmcai2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/popl19.sigplan.org\/track\/VMCAI-2019","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}