{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:12:39Z","timestamp":1725549159359},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642119569"},{"type":"electronic","value":"9783642119576"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-11957-6_25","type":"book-chapter","created":{"date-parts":[[2010,3,8]],"date-time":"2010-03-08T00:55:38Z","timestamp":1268009738000},"page":"468-487","source":"Crossref","is-referenced-by-count":9,"title":["Faulty Logic: Reasoning about Fault Tolerant Programs"],"prefix":"10.1007","author":[{"given":"Matthew L.","family":"Meola","sequence":"first","affiliation":[]},{"given":"David","family":"Walker","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"2","key":"25_CR1","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1007\/s001450010016","volume":"14","author":"D. Boneh","year":"2001","unstructured":"Boneh, D., DeMillo, R., Lipton, R.: On the importance of checking cryptographic protocols for faults. Journal of Cryptology\u00a014(2), 101\u2013119 (2001)","journal-title":"Journal of Cryptology"},{"doi-asserted-by":"crossref","unstructured":"Govindavajhala, S., Appel, A.: Using memory errors to attack a virtual machine. In: Proceedings of the 2003 Symposium on Security and Privacy, May 2003, pp. 153\u2013165 (2003)","key":"25_CR2","DOI":"10.1109\/SECPRI.2003.1199334"},{"issue":"2","key":"25_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. Proceedings of the IEEE\u00a094(2), 370\u2013382 (2006)","journal-title":"Proceedings of the IEEE"},{"key":"25_CR4","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1145\/313817.313834","volume-title":"ISLPED 1999: Proceedings of the 1999 international symposium on Low power electronics and design","author":"R. Hegde","year":"1999","unstructured":"Hegde, R., Shanbhag, N.R.: Energy-efficient signal processing via algorithmic noise-tolerance. In: ISLPED 1999: Proceedings of the 1999 international symposium on Low power electronics and design, pp. 30\u201335. ACM, New York (1999)"},{"unstructured":"Chang, J., Reis, G.A., August, D.I.: Automatic instruction-level software-only recovery methods. In: Proceedings of the 2006 International Conference on Dependendable Systems and Networks (June 2006)","key":"25_CR5"},{"key":"25_CR6","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1109\/24.914544","volume":"49","author":"P.P. Shirvani","year":"2000","unstructured":"Shirvani, P.P., Saxena, N., McCluskey, E.J.: Software-implemented EDAC protection against SEUs. IEEE Transactions on Reliability\u00a049, 273\u2013284 (2000)","journal-title":"IEEE Transactions on Reliability"},{"key":"25_CR7","volume-title":"The Formal Semantics of Programming Languages","author":"G. Winskel","year":"1996","unstructured":"Winskel, G.: The Formal Semantics of Programming Languages. MIT Press, Cambridge (1996)"},{"doi-asserted-by":"crossref","unstructured":"Ishtiaq, S., O\u2019Hearn, P.: Bi as an assertion language for mutable data structures. In: Proceedings of the 28th ACM Symposium on Principles of Programming Languages, London, United Kingdom, January 2001, pp. 14\u201326 (2001)","key":"25_CR8","DOI":"10.1145\/360204.375719"},{"key":"25_CR9","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1109\/LICS.2002.1029817","volume-title":"Proceedings of the 17th Annual IEEE Symposium on Logic in Computer Science","author":"J.C. Reynolds","year":"2002","unstructured":"Reynolds, J.C.: Separation logic: A logic for shared mutable data structures. In: Proceedings of the 17th Annual IEEE Symposium on Logic in Computer Science, pp. 55\u201374. IEEE Computer Society, Los Alamitos (2002)"},{"key":"25_CR10","first-page":"333","volume-title":"CGO 2006: Proceedings of the International Symposium on Code Generation and Optimization, Washington, DC, USA","author":"E. Borin","year":"2006","unstructured":"Borin, E., Wang, C., Wu, Y., Araujo, G.: Software-based transparent and comprehensive control-flow error detection. In: CGO 2006: Proceedings of the International Symposium on Code Generation and Optimization, Washington, DC, USA, pp. 333\u2013345. IEEE Computer Society, Los Alamitos (2006)"},{"doi-asserted-by":"crossref","unstructured":"Oh, N., Shirvani, P.P., McCluskey, E.J.: Control-flow checking by software signatures\u00a051(2), 111\u2013122 (2002)","key":"25_CR11","DOI":"10.1109\/24.994926"},{"doi-asserted-by":"crossref","unstructured":"Reis, G.A., Chang, J., Vachharajani, N., Rangan, R., August, D.I.: SWIFT: Software implemented fault tolerance. In: Proceedings of the 3rd International Symposium on Code Generation and Optimization (March 2005)","key":"25_CR12","DOI":"10.1109\/CGO.2005.34"},{"doi-asserted-by":"crossref","unstructured":"Reis, G.A., Chang, J., Vachharajani, N., Rangan, R., August, D.I., Mukherjee, S.S.: Design and evaluation of hybrid fault-detection systems. In: Proceedings of the 32nd Annual International Symposium on Computer Architecture, June 2005, pp. 148\u2013159 (2005)","key":"25_CR13","DOI":"10.1109\/ISCA.2005.21"},{"doi-asserted-by":"crossref","unstructured":"Pattabiraman, K., Nakka, N., Kalbarczyk, Z., Iyer, R.: Symplfied: Symbolic program-level fault injection and error detection framework. In: International Conference on Dependable Systems and Networks (2008)","key":"25_CR14","DOI":"10.1109\/DSN.2008.4630118"},{"doi-asserted-by":"crossref","unstructured":"Walker, D., Mackey, L., Ligatti, J., Reis, G., August, D.I.: Static typing for a faulty lambda calculus. In: ACM International Conference on Functional Programming, Portland, Oregon (September 2006)","key":"25_CR15","DOI":"10.1145\/1159803.1159809"},{"unstructured":"Elsman, M.: Fault-tolerant voting in a simply-typed lambda calculus. Technical Report ITU-TR-2007-99, IT University of Copenhagen, Rued Langgaards Vej 7, DK-2300 Copenhagen S, Denmark (June 2007)","key":"25_CR16"},{"doi-asserted-by":"crossref","unstructured":"Perry, F., Mackey, L., Reis, G.A., Ligatti, J., August, D.I., Walker, D.: Fault-tolerant typed assembly language. In: International Symposium on Programming Language Design and Implementation, PLDI (June 2007)","key":"25_CR17","DOI":"10.1145\/1250734.1250741"},{"doi-asserted-by":"crossref","unstructured":"Perry, F., Walker, D.: Reasoning about control flow in the presence of transient faults. In: International Static Analysis Symposium (July 2008)","key":"25_CR18","DOI":"10.1007\/978-3-540-69166-2_22"}],"container-title":["Lecture Notes in Computer Science","Programming Languages and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-11957-6_25.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T02:45:45Z","timestamp":1606185945000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-11957-6_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642119569","9783642119576"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-11957-6_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}