David A. Wagner  Home/Search
Context
Related
| berkeley.edu/~daw/papers/phddis.ps 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: berkeley.edu/~daw/papers/index (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Static analysis and computer security: New techniques for software assurance by David A. Wagner Doctor of Philosophy in Computer Science University of California at Berkeley Professor Eric A. Brewer, Chair One of the greatest challenges in computer security today is the software assurance problem: How do we deal with the fact that our most trusted software, even our security software itself, is often buggy? Our programming environments are awed, which makes it easy to introduce bugs into ... (Update)
Similar documents (at the sentence level):
16.9%: Intrusion Detection via Static Analysis - Wagner, Dean (2001) (Correct)
11.1%: A First Step Towards Automated Detection of Buffer.. - Wagner, Foster.. (2000) (Correct)
Active bibliography (related documents): More All
0.5: Software and Hardware Techniques for Efficient Polymorphic Calls - Driesen (1999) (Correct)
0.4: Bugs as Deviant Behavior: A General Approach to.. - Engler, Chen.. (2001) (Correct)
0.3: Cleanness Checking of String Manipulations in C Programs via .. - Dor, Rodeh, Sagiv (2001) (Correct)
Similar documents based on text:
0.0: Unknown - (Correct)
BibTeX entry: (Update)
@misc{ wagner-static,
author = "David A. Wagner",
title = "Static Analysis and Computer Security: . . .",
url = "citeseer.ist.psu.edu/wagner00static.html" }
Citations (may not include all citations):299 Dependence analysis for supercomputing (context) - Banerjee - 1998
250 Automatic discovery of linear restraints among variables of .. - Cousot, Halbwachs - 1978
246 Context-sensitive interprocedural points-to analysis in the .. - Emami, Ghiya et al. - 1994
142 Constraint propagation with interval labels (context) - Davis - 1987
141 StackGuard: Automatic adaptive detection and prevention of b.. - Cowan, Pu et al. - 1998
133 IEEE Transactions on Software Engineering (context) - Denning, model - 1987
111 Firewalls and Internet Security: Repelling the Wily Hacker (context) - Cheswick, Bellovin - 1994
87 Exploiting hardware performance counters with ow and context.. - Ammons, Ball et al. - 1997
79 Computer security threat monitoring and surveillance (context) - Anderson - 1980
72 Bebop: A symbolic model checker for boolean programs - Ball, Rajamani - 2000
55 Abstract debugging of higher-order imperative languages (context) - Bourdoncle - 1993
54 Static determination of dynamic properties of programs (context) - Cousot, Cousot - 1976
51 Extended static checking - Detlefs, Leino et al. - 1998
49 Type-based alias analysis - Diwan, McKinley et al. - 1998
45 Regular model checking - Bouajjani, Jonsson et al. - 2000
43 ABCD: Eliminating array bounds checks on demand - Bodik, Gupta et al. - 2000
42 Symbolic range propagation - Blume, Eigenmann - 1995
42 An automata-theoretic approach to interprocedural data- ow a.. - Esparza, Knop - 1999
42 symbolic range propagation - Blume, Eigenmann - 1995
40 A portable machine-independent global optimizer|design and m.. (context) - Chow - 1983
32 A toolkit for constructing typeand constraint-based program .. - Aiken, ahndrich et al. - 1998
29 Temporal abstract interpretation (context) - Cousot, Cousot - 2000
23 combining optimizations (context) - Click, Cooper - 1995
22 With microscope and tweezers: an analysis of the Internet vi.. - Eichin, Rochlis - 1988
22 Checking system rules using system-speci c (context) - Engler, Chelf et al. - 2000
21 An ecient context-free parsing algorithm (context) - Earley - 1970
19 Indigo: a local propagation algorithm for inequality constra.. - Borning, Anderson et al. - 1996
18 Improved algorithms for linear inequalities with two variabl.. (context) - Cohen, Megiddo - 1994
17 the regular structure of pre x rewriting (context) - Caucal - 1992
17 Linear-time algorithms for testing the satis ability of prop.. (context) - Dowling, Gallier - 1984
16 Checking temporal properties of software with boolean progra.. - Ball, Rajamani - 2000
16 Using metalevel compilation to check FLASH protocol code - Chou, Chelf et al. - 2000
15 Enforcing trace properties by program transformation - Colcombet, Fradet - 2000
15 Set constraints: results (context) - Aiken - 1994
14 Ecient detection of all pointer and array access errors (context) - Austin, Breach et al. - 1994
14 A static analyzer for nding dynamic programming errors (context) - Bush, Pincus et al. - 2000
13 Verifying security (context) - Cheheyl, Gasser et al. - 1981
13 The SUP-INF method in Presburger arithmetic (context) - Bledsoe - 1974
13 An ecient method of computing static single assignment form (context) - Cytron, Ferrante et al. - 1989
11 Interprocedural abstract interpretation of block structured .. (context) - Bourdoncle - 1990
11 How to write a setuid program (context) - Bishop - 1987
8 Interface compilation: Steps toward compiling program interf.. - Engler - 1999
7 An ecient automata approach to some problems on context-free.. - Bouajjani, Esparza et al.
6 The parallel complexity of simple logic programs (context) - Afrati, Papadimitriou - 1993
4 Checking for race conditions in le accesses (context) - Bishop, Dilger - 1996
4 Regular canonical systems (context) - uchi - 1964
4 er over ows: Attacks and defenses for the vulnerability of t.. (context) - Cowan, Wagle et al. - 2000
3 The base-rate fallacy and its implications for the diculty o.. - Axelsson - 1999
2 Personal communication (context) - de Raadt - 2000
2 Operating system enhancements to prevent the misue of system.. (context) - Bernaschi, Gabrielli et al. - 2000
1 Automatic veri cation of sequential in nite-state processes (context) - Burkart - 1991
http://sctest.cse.ucsc.edu/chess/EauClaire/
http://www.securityfocus.com/
Documents on the same site (http://www.cs.berkeley.edu/~daw/papers/index.html): More
Building PRFs from PRPs - Hall, Wagner, Kelsey, Schneier (1998) (Correct)
Cryptanalysis of TWOPRIME - Coppersmith, Wagner, Schneier, Kelsey (1998) (Correct)
Cryptanalysis of Some Recently-Proposed Multiple Modes of Operation - Wagner (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