Enhancing Server Availability and Security Through Failure-Oblivious Computing (2004)

by Martin Rinard , Cristian Cadar , Daniel Dumitran , Daniel M. Roy , Tudor Leu , William S. Beebee
Venue:In Proceedings 6 th Symposium on Operating Systems Design and Implementation (OSDI
Citations:106 - 13 self

Active Bibliography

34 A dynamic technique for eliminating buffer overflow vulnerabilities (and other memory errors – Martin Rinard, Cristian Cadar, Daniel Dumitran, Daniel M. Roy, Tudor Leu - 2004
2 Enhancing Availability and Security Through Failure-Oblivious Computing – Martin Rinard, Cristian Cadar, Daniel Dumitran, Daniel M. Roy, William S. Beebee Jr.
7 Baggy Bounds Checking: An Efficient and Backwards-Compatible Defense against Out-of-Bounds Errors – Periklis Akritidis, Manuel Costa, Miguel Castro, Steven Hand
1 RUNTIME MONITORING OF C PROGRAMS FOR SECURITY AND CORRECTNESS – Suan Hsi Yong - 2004
10 DISE: Dynamic instruction stream editing – Marc Corliss, E Christopher Lewis, Rajeev Alur - 2002
15 Preventing Format-String Attacks via Automatic and Efficient Dynamic Checking – Michael F. Ringenburg, Dan Grossman - 2005
47 High Coverage Detection of Input-Related Security Faults – Eric Larson, Todd Austin - 2003
206 Vigilante: End-to-End Containment of Internet Worm Epidemics – Manuel Costa, Jon Crowcroft, Miguel Castro, Antony Rowstron, Lidong Zhou, Lintao Zhang, Paul Barham - 2008
41 An efficient and backwards-compatible transformation to ensure memory safety of c programs – Wei Xu, Daniel C. Duvarney, R. Sekar - 2004
14 HardBound: Architectural Support for Spatial Safety of the C Programming Language – Joe Devietti, Colin Blundell, et al. - 2008
5 Program transformation techniques for host-based intrusion prevension – Lap Chung Lam - 2005
1 On the role of static analysis in operating system checking and runtime verification – Abhishek Rai - 2005
PRACTICAL LOW-OVERHEAD ENFORCEMENT OF MEMORY SAFETY FOR C PROGRAMS – Santosh Ganapati Nagarakatte
61 Efficient Techniques for Comprehensive Protection from Memory Error Exploits – Sandeep Bhatkar, R. Sekar, Daniel C. DuVarney - 2005
7 Using Execution Transactions To Recover From Buffer Overflow Attacks – Stelios Sidiroglou , Angelos D. Keromytis - 2004
9 Code injection in C and C++ : A survey of vulnerabilities and countermeasures – Yves Younan, Wouter Joosen, Frank Piessens - 2004
18 Automatically Patching Errors in Deployed Software – Jeff H. Perkins , Sunghun Kim , Sam Larsen , Saman Amarasinghe , Jonathan Bachrach , Michael Carbin , Carlos Pacheco , Frank Sherwood, Stelios Sidiroglou , Greg Sullivan , Weng-fai Wong , Yoav Zibin, Michael D. Ernst, Martin Rinard - 2009
SAFECODE: A PLATFORM FOR DEVELOPING RELIABLE SOFTWARE IN UNSAFE LANGUAGES BY – Dinakar Dhurjati
System Support for . . . PRODUCTION RUNS – Feng Qin - 2006