Samurai: protecting critical data in unsafe languages
暂无分享,去创建一个
[1] Mihai Budiu,et al. Control-flow integrity principles, implementations, and applications , 2009, TSEC.
[2] Krishna Kant,et al. Synthesizing Robust Data STructures - An Introduction , 1990, IEEE Trans. Computers.
[3] George C. Necula,et al. SafeDrive: safe and recoverable extensions using language-based techniques , 2006, OSDI '06.
[4] Kathryn S. McKinley,et al. Composing high-performance memory allocators , 2001, PLDI '01.
[5] Dinakar Dhurjati,et al. Backwards-compatible array bounds checking for C with very low overhead , 2006, ICSE.
[6] Martin Rinard,et al. Automatic detection and repair of errors in data structures , 2003, OOPSLA 2003.
[7] James Cheney,et al. Cyclone: A Safe Dialect of C , 2002, USENIX Annual Technical Conference, General Track.
[8] Anne Rogers,et al. Supporting dynamic data structures on distributed-memory machines , 1995, TOPL.
[9] Gary McGraw,et al. Software fault injection: inoculating programs against errors , 1997 .
[10] Martin C. Rinard,et al. Goal-Directed Reasoning for Specification-Based Data Structure Repair , 2006, IEEE Transactions on Software Engineering.
[11] Emery D. Berger,et al. DieHard: probabilistic memory safety for unsafe languages , 2006, PLDI '06.
[12] Gregory F. Sullivan,et al. On-line error monitoring for several data structures , 1995, Twenty-Fifth International Symposium on Fault-Tolerant Computing. Digest of Papers.
[13] Yennun Huang,et al. Software Fault Tolerance in the Application Layer , 1995 .
[14] Poul-Henning Kamp. malloc(3) Revisited , 1998, USENIX Annual Technical Conference.
[15] Paul H. J. Kelly,et al. Backwards-Compatible Bounds Checking for Arrays and Pointers in C Programs , 1997, AADEBUG.
[16] Kathryn S. McKinley,et al. Reconsidering custom memory allocation , 2002, OOPSLA '02.
[17] Nicholas Nethercote,et al. Valgrind: A Program Supervision Framework , 2003, RV@CAV.
[18] Olatunji Ruwase,et al. A Practical Dynamic Buffer Overflow Detector , 2004, NDSS.
[19] Martín Abadi,et al. Control-flow integrity , 2005, CCS '05.
[20] Robert O. Hastings,et al. Fast detection of memory leaks and access errors , 1991 .
[21] Paul R. Wilson,et al. Dynamic Storage Allocation: A Survey and Critical Review , 1995, IWMM.
[22] John L. Henning. SPEC CPU2000: Measuring CPU Performance in the New Millennium , 2000, Computer.
[23] Mary Baker,et al. The Recovery Box: Using Fast Recovery to Provide High Availability in the UNIX Environment , 1992, USENIX Summer.
[24] George C. Necula,et al. CCured: type-safe retrofitting of legacy software , 2005, TOPL.
[25] Josep Torrellas,et al. Colorama: Architectural Support for Data-Centric Synchronization , 2007, 2007 IEEE 13th International Symposium on High Performance Computer Architecture.
[26] Yuanyuan Zhou,et al. Rx: treating bugs as allergies---a safe method to survive software failures , 2005, SOSP '05.
[27] Robert Wahbe,et al. Efficient software-based fault isolation , 1994, SOSP '93.
[28] Daniel M. Roy,et al. A dynamic technique for eliminating buffer overflow vulnerabilities (and other memory errors) , 2004, 20th Annual Computer Security Applications Conference.
[29] Emery D. Berger,et al. Archipelago: trading address space for reliability and security , 2008, ASPLOS.
[30] David R. Musser,et al. STL tutorial and reference guide - C++ programming with the standard template library , 1996, Addison-Wesley professional computing series.
[31] George C. Necula,et al. CCured in the real world , 2003, PLDI '03.
[32] Guru Venkataramani,et al. Comprehensively and efficiently protecting the heap , 2006, ASPLOS XII.