MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Enhancing Server Availability and Security through Failure-Oblivious Computing (2004) [72 citations — 6 self]

by Martin Rinard ,  Cristian Cadar ,  Daniel Dumitran ,  Daniel M. Roy ,  Tudor Leu ,  William S. Beebee ,  Jr.
In Proceedings 6 th Symposium on Operating Systems Design and Implementation (OSDI
Add To MetaCart

Abstract:

We present a new technique, failure-oblivious computing, that enables servers to execute through memory errors without memory corruption. Our safe compiler for C inserts checks that dynamically detect invalid memory accesses. Instead of terminating or throwing an exception, the generated code simply discards invalid writes and manufactures values to return for invalid reads, enabling the server to continue its normal execution path.

Citations

1143 Transaction Processing: Concepts and Techniques – Gray, Reuter - 1993
840 Condor - a hunter of idle workstations – Litzkow, Livny, et al. - 1988
558 Efficient software-based fault isolation – Wahbe, Lucco, et al. - 1993
506 Exokernel: an Operating System Architecture for Application-Level Resource Management – Engler, Kaashoek, et al. - 1995
340 The psychology of human-computer interaction. Lawrence Erlbaum – Card, T, et al. - 1983
310 Stackguard: Automatic adaptive detection and prevention of bufferoverflow attacks – Cowan, Pu, et al. - 1998
254 A first step towards automated detection of buffer overrun vulnerabilities – Wagner, Foster, et al. - 2000
245 Out of the Crisis – Deming - 1986
238 A new kernel foundation for UNIX development – Mach - 1986
230 CCured: type-safe retrofitting of legacy code – Necula, McPeak, et al. - 2002
221 Cyclone: A safe dialect of C – Jim, Morrisett, et al. - 2002
220 Purify: fast detection of memory leaks and access errors – Hastings, Joyce - 1992
186 A static analyzer for finding dynamic programming errors. Software: Practice and Experience – Bush, Pincus, et al. - 2000
161 Efficient detection of all pointer and array access errors – Austin, Breach, et al. - 1994
149 Eliminating array bound checking through dependent types – Xi, Pfenning - 1998
141 Secure execution via program shepherding – Kiriansky, Bruening, et al.
131 The Spring Nucleus: a Microkernel for Objects – Hamilton, Kougiouris - 1993
123 Backwards-compatible bounds checking for arrays and pointers in c programs – Jones, Kelly - 1997
123 Improving the reliability of commodity operating systems – Swift, Bershad, et al.
99 ABCD: Eliminating array bounds checks on demand – Bodik, Gupta, et al. - 2000
96 A practical dynamic buffer overflow detector – Ruwase, Lam - 2004
84 Symbolic bounds analysis of pointers, array indices, and accessed memory regions – Rugina, Rinard
82 Recursive restartability: Turning the reboot sledgehammer into a scalpel – CANDEA, FOX - 2001
76 CSSV: Towards a realistic tool for statically detecting all buffer overflows – Dor, Rodeh, et al. - 2003
69 Optimizing array bound checks using flow analysis – Gupta - 1993
59 Automatic Detection and Repair of Errors in Data Structures – Demsky, Rinard - 2003
58 CCured in the real world – Condit, Harren, et al. - 2003
57 Self-Monitoring and SelfAdapting Operating Systems – Seltzer, Small - 1997
55 Mondrian memory protection – Witchel, Cates, et al. - 2002
46 Frequent value locality and value-centric data cache design – Zhang, Yang, et al.
43 Software Fault Tolerance – Lyu - 1995
35 On the reliability of the IBM MVS/XA operating system – Mourad, Andrews - 1987
31 Protecting C programs from attacks via invalid pointer dereferences – YONG, HORWITZ - 2003
30 The 5ESS(TM) switching system: Maintenance capabilities – Haugk, Lax, et al. - 1985
29 Bcc: Run-time checking for C programs – Kendall - 1983
28 Memory safety without runtime checks or garbage collection – Dhurjati, Kowshik, et al. - 2003
25 A dynamic technique for eliminating buffer overflow vulnerabilities (and other memory errors – Rinard, Cadar, et al. - 2004
18 Auditdraw: Generating audits the fast way – Gupta, Jagadeesan, et al. - 1997
16 Bystander intervention in emergencies: Diffusion of responsibility – Darley, Latane - 1968
14 Acceptability-oriented computing – Rinard - 2003
9 Group inhibition of bystander intervention in emergencies – Latane, Darley - 1968
8 The Evolution of Condor Checkpointing – Litzkow, Solomon
7 Using execution transactions to recover from buffer overflow attacks – Sidiroglou, Giovanidis, et al. - 2004
1 5] Midnight Commander exploit.www.securityfocus.com/bid/8658/discussion/. [6] Midnight Commander website. www.ibiblio.org/mc/.[7] Mutt exploit. www.securiteam.com/unixfocus/5FP0T0U9FU.html.[8] Mutt website. www.mutt.org.[9] Netcraft website. http://news.n – orgelm
1 Bystander intervention in emergencies:Diffusion of responsibility – Darley, Latane - 1968
View or Download | Add to My Collection | Correct Errors