{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,11,2]],"date-time":"2026-11-02T08:19:05Z","timestamp":1793607545638,"version":"4.5.0"},"publisher-location":"Cham","reference-count":33,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319048963","type":"print"},{"value":"9783319048970","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-04897-0_5","type":"book-chapter","created":{"date-parts":[[2014,2,18]],"date-time":"2014-02-18T08:34:38Z","timestamp":1392712478000},"page":"60-76","source":"Crossref","is-referenced-by-count":2,"title":["Fault-Tolerant Non-interference"],"prefix":"10.1007","author":[{"given":"Filippo","family":"Del Tedesco","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Alejandro","family":"Russo","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"David","family":"Sands","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"5_CR1","unstructured":"The zap project, http:\/\/sip.cs.princeton.edu\/projects\/zap\/ (accessed: February 20, 2013)"},{"key":"5_CR2","doi-asserted-by":"publisher","first-page":"340","DOI":"10.1145\/1102120.1102165","volume-title":"Proceedings of the 12th ACM Conference on Computer and Communications Security, CCS 2005","author":"M. Abadi","year":"2005","unstructured":"Abadi, M., Budiu, M., Erlingsson, U., Ligatti, J.: Control-flow integrity. In: Proceedings of the 12th ACM Conference on Computer and Communications Security, CCS 2005, pp. 340\u2013353. ACM, New York (2005), http:\/\/doi.acm.org\/10.1145\/1102120.1102165"},{"key":"5_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"260","DOI":"10.1007\/3-540-36400-5_20","volume-title":"Cryptographic Hardware and Embedded Systems - CHES 2002","author":"C. Aum\u00fcller","year":"2003","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, vol.\u00a02523, pp. 260\u2013275. Springer, Heidelberg (2003)"},{"key":"5_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/BFb0028164","volume-title":"Security Protocols","author":"F. Bao","year":"1998","unstructured":"Bao, F., Deng, R., Han, Y., Jeng, A., Narasimhalu, A., Ngair, T.: Breaking public key cryptosystems on tamper resistant devices in the presence of transient faults. In: Christianson, B., Crispo, B., Lomas, M., Roe, M. (eds.) Security Protocols 1997. LNCS, vol.\u00a01361, pp. 115\u2013124. Springer, Heidelberg (1998)"},{"key":"5_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"186","DOI":"10.1007\/978-3-642-30793-5_12","volume-title":"Formal Techniques for Distributed Systems","author":"G. Barthe","year":"2012","unstructured":"Barthe, G., Crespo, J.M., Devriese, D., Piessens, F., Rivas, E.: Secure multi-execution through static program transformation. In: Giese, H., Rosu, G. (eds.) FORTE\/FMOODS 2012. LNCS, vol.\u00a07273, pp. 186\u2013202. Springer, Heidelberg (2012)"},{"issue":"3","key":"5_CR6","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1109\/TDMR.2005.853449","volume":"5","author":"R. Baumann","year":"2005","unstructured":"Baumann, R.: Radiation-induced soft errors in advanced semiconductor technologies. IEEE Transactions on Device and Materials Reliability\u00a05(3), 305\u2013316 (2005)","journal-title":"IEEE Transactions on Device and Materials Reliability"},{"key":"5_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. Journal of Cryptology\u00a014, 101\u2013119 (2001)","journal-title":"Journal of Cryptology"},{"key":"5_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"425","DOI":"10.1007\/3-540-48658-5_38","volume-title":"Advances in Cryptology - CRYPTO \u201994","author":"R. Canetti","year":"1994","unstructured":"Canetti, R., Herzberg, A.: Maintaining security in the presence of transient faults. In: Desmedt, Y.G. (ed.) Advances in Cryptology - CRYPTO 1994. LNCS, vol.\u00a0839, pp. 425\u2013438. Springer, Heidelberg (1994)"},{"key":"5_CR9","doi-asserted-by":"crossref","unstructured":"Capizzi, R., Longo, A., Venkatakrishnan, V.N., Sistla, A.P.: Preventing information leaks through shadow executions. In: Proceedings of the 2008 Annual Computer Security Applications Conference, ACSAC 2008. IEEE Computer Society (2008)","DOI":"10.1109\/ACSAC.2008.50"},{"key":"5_CR10","doi-asserted-by":"crossref","unstructured":"Chang, J., Reis, G., August, D.: Automatic instruction-level software-only recovery. In: DSN 2006, pp. 83\u201392 (2006)","DOI":"10.1109\/DSN.2006.15"},{"issue":"1","key":"5_CR11","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/s10623-003-1160-8","volume":"36","author":"M. Ciet","year":"2005","unstructured":"Ciet, M., Joye, M.: Elliptic curve cryptosystems in the presence of permanent and transient faults. Des. Codes Cryptography\u00a036(1), 33\u201343 (2005)","journal-title":"Des. Codes Cryptography"},{"key":"5_CR12","unstructured":"Cristi\u00e1, M., Mata, P.: Runtime enforcement of noninterference by duplicating processes and their memories. In: WSEGI 2009, Argentina. 38 JAIIO (2009)"},{"key":"5_CR13","doi-asserted-by":"crossref","unstructured":"Del\u00a0Tedesco, F., Russo, A., Sands, D.: Fault tolerant non-interference (extended version) (2013), http:\/\/www.cse.chalmers.se\/~tedesco\/papers\/essos14.pdf","DOI":"10.1007\/978-3-319-04897-0_5"},{"key":"5_CR14","unstructured":"Del\u00a0Tedesco, F., Russo, A., Sands, D.: A theory of fault tolerance noninterference (preliminary) (2013)"},{"key":"5_CR15","doi-asserted-by":"crossref","unstructured":"Devriese, D., Piessens, F.: Noninterference through secure multi-execution. In: Proc. of the 2010 IEEE Symposium on Security and Privacy, SP 2010. IEEE Computer Society (2010)","DOI":"10.1109\/SP.2010.15"},{"key":"5_CR16","doi-asserted-by":"crossref","unstructured":"Florio, V.D., Blondia, C.: A survey of linguistic structures for application-level fault tolerance. ACM Comput. Surv.\u00a040(2) (2008)","DOI":"10.1145\/1348246.1348249"},{"key":"5_CR17","volume-title":"SP 2003","author":"S. Govindavajhala","year":"2003","unstructured":"Govindavajhala, S., Appel, A.W.: Using memory errors to attack a virtual machine. In: SP 2003, IEEE Computer Society, Washington, DC (2003)"},{"key":"5_CR18","doi-asserted-by":"crossref","unstructured":"Gray, J.W., Probabilistic, I.: interference. In: Proceedings of the 1990 IEEE Computer Society Symposium on Research in Security and Privacy, pp. 170\u2013179 (1990)","DOI":"10.1109\/RISP.1990.63848"},{"key":"5_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"182","DOI":"10.1007\/978-3-642-34281-3_15","volume-title":"Formal Methods and Software Engineering","author":"W.L. Harrison","year":"2012","unstructured":"Harrison, W.L., Procter, A., Allwein, G.: The confinement problem in the presence of faults. In: Aoki, T., Taguchi, K. (eds.) ICFEM 2012. LNCS, vol.\u00a07635, pp. 182\u2013197. Springer, Heidelberg (2012)"},{"key":"5_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1007\/978-3-540-72354-7_18","volume-title":"Information Security Theory and Practices. Smart Cards, Mobile and Ubiquitous Computing Systems","author":"C. Kim","year":"2007","unstructured":"Kim, C., Quisquater, J.J.: Fault attacks for crt based rsa: New attacks, new results, and new countermeasures. In: Sauveron, D., Markantonakis, K., Bilas, A., Quisquater, J.-J. (eds.) WISTP 2007. LNCS, vol.\u00a04462, pp. 215\u2013228. Springer, Heidelberg (2007)"},{"issue":"4","key":"5_CR21","doi-asserted-by":"publisher","first-page":"363","DOI":"10.1007\/s10817-009-9155-4","volume":"43","author":"X. Leroy","year":"2009","unstructured":"Leroy, X.: A formally verified compiler back-end. J. Autom. Reason.\u00a043(4), 363\u2013446 (2009), http:\/\/dx.doi.org\/10.1007\/s10817-009-9155-4","journal-title":"J. Autom. Reason."},{"key":"5_CR22","doi-asserted-by":"crossref","unstructured":"McLean, J.: Security models and information flow. In: Proc. IEEE Symposium on Security and Privacy, pp. 180\u2013187. IEEE Computer Society Press (1990)","DOI":"10.1109\/RISP.1990.63849"},{"issue":"3","key":"5_CR23","doi-asserted-by":"publisher","first-page":"527","DOI":"10.1145\/319301.319345","volume":"21","author":"G. Morrisett","year":"1999","unstructured":"Morrisett, G., Walker, D., Crary, K., Glew, N.: From system f to typed assembly language. ACM Trans. Program. Lang. Syst.\u00a021(3), 527\u2013568 (1999)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"5_CR24","first-page":"42","volume-title":"Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation","author":"F. Perry","year":"2007","unstructured":"Perry, F., Mackey, L., Reis, G.A., Ligatti, J., August, D.I., Walker, D.: Fault-tolerant typed assembly language. In: Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, pp. 42\u201353. ACM, New York (2007)"},{"key":"5_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"332","DOI":"10.1007\/978-3-540-69166-2_22","volume-title":"Static Analysis","author":"F. Perry","year":"2008","unstructured":"Perry, F., Fisher, K.: Reasoning about control flow in the presence of transient faults. In: Alpuente, M., Vidal, G. (eds.) SAS 2008. LNCS, vol.\u00a05079, pp. 332\u2013346. Springer, Heidelberg (2008)"},{"key":"5_CR26","unstructured":"Rushby, J.: Partitioning for safety and security: Requirements, mechanisms, and assurance. NASA Contractor Report CR-1999-209347, NASA Langley Research Center (June 1999); also to be issued by the FAA"},{"key":"5_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"120","DOI":"10.1007\/978-3-540-77505-8_10","volume-title":"Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues","author":"A. Russo","year":"2008","unstructured":"Russo, A., Hughes, J., Naumann, D.A., Sabelfeld, A.: Closing internal timing channels by transformation. In: Okada, M., Satoh, I. (eds.) ASIAN 2006. LNCS, vol.\u00a04435, pp. 120\u2013135. Springer, Heidelberg (2008)"},{"key":"5_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"376","DOI":"10.1007\/3-540-45789-5_27","volume-title":"Static Analysis","author":"A. Sabelfeld","year":"2002","unstructured":"Sabelfeld, A., Mantel, H.: Static confidentiality enforcement for distributed programs. In: Hermenegildo, M.V., Puebla, G. (eds.) SAS 2002. LNCS, vol.\u00a02477, pp. 376\u2013394. Springer, Heidelberg (2002)"},{"key":"5_CR29","doi-asserted-by":"crossref","first-page":"200","DOI":"10.1109\/CSFW.2000.856937","volume-title":"Proceedings of the 13th IEEE Workshop on Computer Security Foundations, CSFW 2000","author":"A. Sabelfeld","year":"2000","unstructured":"Sabelfeld, A., Sands, D.: Probabilistic noninterference for multi-threaded programs. In: Proceedings of the 13th IEEE Workshop on Computer Security Foundations, CSFW 2000, p. 200. IEEE Computer Society, Washington, DC (2000)"},{"key":"5_CR30","doi-asserted-by":"crossref","unstructured":"Skarin, D., Barbosa, R., Karlsson, J.: Goofi-2: A tool for experimental dependability assessment. In: Proceedings of the 2010 IEEE\/IFIP International Conference on Dependable Systems and Networks (2010)","DOI":"10.1109\/DSN.2010.5544265"},{"key":"5_CR31","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1145\/168619.168635","volume-title":"Proceedings of the Fourteenth ACM Symposium on Operating Systems Principles, SOSP 1993","author":"R. Wahbe","year":"1993","unstructured":"Wahbe, R., Lucco, S., Anderson, T.E., Graham, S.L.: Efficient software-based fault isolation. In: Proceedings of the Fourteenth ACM Symposium on Operating Systems Principles, SOSP 1993, pp. 203\u2013216. ACM, New York (1993), http:\/\/doi.acm.org\/10.1145\/168619.168635"},{"key":"5_CR32","doi-asserted-by":"crossref","unstructured":"Wang, N.J., Quek, J., Rafacz, T.M., Patel, S.J.: Characterizing the effects of transient faults on a high-performance processor pipeline. In: International Conference on Dependable Systems and Networks, DSN 2004 (2004)","DOI":"10.1109\/DSN.2004.1311877"},{"key":"5_CR33","first-page":"273","volume-title":"Proceedings of the 5th International Workshop on Software Specification and Design, IWSSD 1989","author":"D.G. Weber","year":"1989","unstructured":"Weber, D.G.: Formal specification of fault-tolerance and its relation to computer security. In: Proceedings of the 5th International Workshop on Software Specification and Design, IWSSD 1989, pp. 273\u2013277. ACM, New York (1989)"}],"container-title":["Lecture Notes in Computer Science","Engineering Secure Software and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-04897-0_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,1]],"date-time":"2025-05-01T21:42:32Z","timestamp":1746135752000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-04897-0_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319048963","9783319048970"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-04897-0_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014]]}}}