Christof Fetzer, Zhen Xiao  Home/Search
Context Related
| att.com/~christof/...printDSN2003c.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: att.com/~christof/publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: HEALERS is a practical, high-performance toolkit that can enhance the robustness and security of existing applications. For any shared library, it can find all functions defined in that library and automatically derives properties for those functions. Through automated faultinjection experiments, it can detect arguments that cause the library to crash and derive safe argument types for each function. The toolkit can prevent heap and stack buffer overflows that are a common cause of security... (Update)
Similar documents based on text: More All
0.8: An Automated Approach to Increasing the Robustness of C Libraries - Fetzer, Xiao (2002) (Correct)
0.7: A Flexible Generator Architecture for Improving Software.. - Fetzer, Xiao (2002) (Correct)
0.6: Detecting Heap Smashing Attacks Through Fault Containment.. - Fetzer, Xiao (2001) (Correct)
BibTeX entry: (Update)
Christof Fetzer and Zhen Xiao. HEALERS: A Toolkit for Enhancing the Robustness and Security of Existing Applications. In Proceedings of the International Conference on Dependable Systems and Networks (DSN'03), pages 317--322, San Francisco, California, U.S.A., June 2003. IEEE Computer Society, IEEE Press. (Cited on pages 55 and 63.) 72 http://citeseer.ist.psu.edu/fetzer03healers.html More
@misc{ fetzer03healers,
author = "C. Fetzer and Z. Xiao",
title = "HEALERS: A Toolkit for Enhancing the Robustness and Security of Existing
Applications",
text = "Christof Fetzer and Zhen Xiao. HEALERS: A Toolkit for Enhancing the Robustness
and Security of Existing Applications. In Proceedings of the International
Conference on Dependable Systems and Networks (DSN'03), pages 317--322,
San Francisco, California, U.S.A., June 2003. IEEE Computer Society, IEEE
Press. (Cited on pages 55 and 63.) 72",
year = "2003",
url = "citeseer.ist.psu.edu/fetzer03healers.html" }
Citations (may not include all citations):54 Transparent run-time defense against stack smashing attacks - Baratloo, Singh et al. - 2000
10 An automated approach to increasing the robustness of C libr.. - Fetzer, Xiao - 2002
8 The exception handling effectiveness of POSIX operating syst.. (context) - Koopman, DeVale - 2000
7 Detecting heap smashing attacks through fault containment wr.. - Fetzer, Xiao - 2001
2 Whither generic recovery from application faults (context) - Chandra, Chen - 2000
2 A flexible generator architecture for improving software dep.. - Fetzer, Xiao - 2002
Documents on the same site (http://www.research.att.com/~christof/publications.html): More
Derivation of Fail-Aware Membership Service Specifications - Fetzer, Cristian (1996) (Correct)
Fail-Aware Failure Detectors - Fetzer, Cristian (1996) (Correct)
A Fail-Aware Datagram Service - Fetzer, Cristian (1998) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC