Verifying Security Properties using Type-Qualifier Inference

Verifying Security Properties using Type-Qualifier Inference (2007)

Cached

Download Links

[www.cs.berkeley.edu]

by Robert Timothy Johnson , Robert Timothy Johnson

Citations:

1 - 0 self

BibTeX

@TECHREPORT{Johnson07verifyingsecurity,
    author = {Robert Timothy Johnson and Robert Timothy Johnson},
    title = {Verifying Security Properties using Type-Qualifier Inference},
    institution = {},
    year = {2007}
}

Bookmark

OpenURL

Abstract

Citations

478	A lattice model of secure information flow - DENNING - 1976
348	Automatically validating temporal safety properties of interfaces - Ball, Rajamani - 2001
317	The SLAM project: Debugging system software via static analysis - Ball, Rajamani - 2002
315	Cousot and Radhia Cousot. Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints - Patrick - 1977
273	Extended static checking - Detlefs, Leino, et al. - 1998
242	A static analyzer for finding dynamic programming errors. Software—Practice and Experience - Bush, Pincus, et al. - 2000
201	A core calculus of dependency - Abadi, Banerjee, et al. - 1999
178	MOPS: An infrastructure for examining security properties of software - Chen, Wagner - 2002
132	The transitive reduction of a directed graph - Aho - 1972
120	FormatGuard: Automatic protection from printf format string vulnerabilities - Cowan - 2001
119	Checking for race conditions in file accesses - Bishop, Dilger - 1996
80	S.K.: From symptom to cause: Localizing errors in counterexample traces - Ball, Naik, et al. - 2003
52	Estimating the impact of scalable pointer analysis on optimization - Das, Liblit, et al. - 2001
47	Semantic type qualifiers - Chin, Markstrum, et al. - 2005
43	T.: Physical type checking for C - Chandra, Reps - 1999
42	Setuid demystified - Chen, Wagner, et al.
24	Polymorphic recursion and subtype qualifications: Polymorphic binding-time analysis in polynomial time - Dussart, Henglein, et al. - 1995
17	X3.106, "American National Standard for Information Systems-Data Link Encryption - ANSI - 1983
14	PScan: A limited problem scanner for C source files. Available at http://www.striker.ottawa.on.ca/∼aland/pscan - DeKok
13	Programming languages – C - ANSI - 1999
11	Fixing races for fun and profit: how to abuse atime - Borisov, Johnson, et al. - 2005
6	Enforcing High-Level - DeLine, Fähndrich - 2001