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 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
[Article contains additional citations not shown here]
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