Using rescue points to navigate software recovery (short paper)

Proceedings - IEEE Symposium on Security and Privacy

Volumn , Issue , 2007, Pages 273-278

  Sidiroglou, Stelios ^a   Laadan, Oren ^a   Keromytis, Angelos D ^a   Nieh, Jason ^a  

^a Fu Foundation School of Engineering and Applied Science

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAM LISTINGS; ERROR ANALYSIS; LEGACY SYSTEMS; SOFTWARE ENGINEERING;

ERROR VIRTUALIZATION; MIMICKING SYSTEMS; SOFTWARE RECOVERY;

SOFTWARE RELIABILITY;

EID: 34548776474     PISSN: 10816011     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SP.2007.38     Document Type: Conference Paper

References (21)

1. M. Abadi, M. Budiu, U. Erlingsson, and J. Ligatti. Control-flow integrity. In CCS '05: Proceedings of the 12th ACM conference on Computer and communications security, pages 340-353, New York, NY, USA, 2005. ACM Press.
2. B. Buck and J. K. Hollingsworth. An API for runtime code patching. The International Journal of High Performance Computing Applications, 14(4):317-329, Winter 2000.
3. C. Cadar and D. R. Engler. Execution generated test cases: How to make systems code crash itself. In P. Godefroid, editor, SPIN, volume 3639 of Lecture Notes in Computer Science, pages 2-23. Springer, 2005.
4. G. Candea and A. Fox. Recursive Restartability: Turning the Reboot Sledgehammer into a Scalpel. In Proceedings of the 8"1 Workshop on Hot Topics in Operating Systems (HotOS), pages 125-132, May 2001.
5. G. Candea and A. Fox. Crash-only software. In Proceedings of the 9th Workshop on Hot Topics in Operating Systems, May 2003.
6. S. Chandra. An Evaluation of the Recovery-related Properties of Software Faults. PhD thesis, University of Michigan, 2000.
7. S. Chandra and P. M. Chen. Wither Generic Recovery from Application Faults? A Fault Study using Open-Source Software. In Proceedings of the International Conference on Dependable Systems and Networks / Symposium on Fault-Tolerant Computing (FTCS), June 2000.
8. th Annual ACM SIGPLAN Conference on Object Oriented Programming, Systems, Languages, and Applications, October 2003.
9. J. Etoh. GCC extension for protecting applications from stack-smashing attacks. http://www.tri.ibm.com/projects/security/ssp/, June 2000.
10. P. Godefroid, N. Klarlund, and K. Sen. Dart: directed automated random testing. In PLDI '05: Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation, pages 213-223, New York, NY, USA, 2005. ACM Press.
11. V. Kiriansky, D. Bruening, and S. Amarasinghe. Secure Execution Via Program Shepherding. In Proceedings of the 11th USENIX Security Symposium, pages 191-205, August 2002.
12. th Annual Network and Distributed Systems Security Symposium, 2006. http://www.cs.cmu.edu/~dbrumley/.
13. th USENIX Symposium on Operating Systems Design and Implementation (OSDI), pages 361-376, December 2002.
14. F. Qin, J. Tucek, J. Sundaresan, and Y. Zhou. Rx: treating bugs as allergies - a safe method to survive software failures. In A. Herbert and K. P. Birman, editors, SOSP, pages 235-248. ACM, 2005.
15. M. Rinard. Acceptability-oriented computing, 2003.
16. th Annual Computer Security Applications Conference (AC-SAC), December 2004.
17. th Symposium on Operating Systems Design and Implementation (OSDI), December 2004.
18. R. Sengupta, O. J. D., F. D. J., K. D. S., Springer, S. P. L., N.-S. H. S., H. M. A., M. R. J., and J. C. Software Fault Tolerance for Low-to-Moderate Radiation Environments. In ASP Conf. Ser., Vol. 238, Astronomical Data Analysis Software and Systems X, 2001.
19. S. Sidiroglou, Y. Giovanidis, and A. Keromytis. A Dynamic Mechanism for Recovery from Buffer Overflow attacks. In Proceedings of the 8th Information Security Conference (ISC), September 2005.
20. S. Sidiroglou, M. E. Locasto, S. W. Boyd, and A. D. Keromytis. Building a reactive immune system for software services. In Proceedings of the USENIX Technical Conference, April 2005.
21. th International Conference on Parallel Architectures and Compilation Techniques, September 2003.