Lee Badger

15 papers A* 3A 2Journal 4Unranked 6
YearRankTypeTitle / Venue / Authors
2004 J jnl
The Tower of Stanford: 10956.
Am. Math. Mon.
John McCarthy, Lee Badger, Marc Williams
2000 A* conf
Detecting and Countering System Intrusions Using Software Wrappers.
USENIX Security Symposium
Calvin Ko, Timothy Fraser, Lee Badger, Douglas Kilpatrickv
2000 J jnl
Generating the Measures of n-Balls.
Am. Math. Mon.
Lee Badger
2000 A conf
Security Agility in Response to Intrusion Detection.
ACSAC
Michael J. Petkac, Lee Badger
1999 — conf
Hardening COTS Software with Generic Software Wrappers.
S&P
Timothy Fraser, Lee Badger, Mark Feldman
1998 — conf
Ensuring Continuity During Dynamic Security Policy Reconfiguration in DTE.
S&P
Timothy Fraser, Lee Badger
1997 A conf
Domain and Type Enforcement Firewalls.
ACSAC
Karen A. Oostendorp, Lee Badger, C. D. Vance, W. G. Morrison, Michael J. Petkac, David L. Sherman, Daniel F. Sterne
1996 J jnl
A Domain and Type Enforcement UNIX Prototype.
Comput. Syst.
Lee Badger, Daniel F. Sterne, David L. Sherman, Kenneth M. Walker
1996 A* conf
Confining Root Programs with Domain and Type Enforcement.
USENIX Security Symposium
Kenneth M. Walker, Daniel F. Sterne, Lee Badger, Michael J. Petkac, David L. Sherman, Karen A. Oostendorp
1995 A* conf
A Domain and Type Enforcement UNIX Prototype.
USENIX Security Symposium
Lee Badger, Daniel F. Sterne, David L. Sherman, Kenneth M. Walker, Sheila A. Haghighat
1995 — conf
Practical Domain and Type Enforcement for UNIX.
S&P
Lee Badger, Daniel F. Sterne, David L. Sherman, Kenneth M. Walker, Sheila A. Haghighat
1990 — conf
Providing a Flexible Security Override for Trusted Systems.
CSFW
Lee Badger
1989 — conf
A Model for Specifying Multi-Granularity Integrity Policies.
S&P
Lee Badger
1988 — conf
Minimizing Communication for Synchronizing Parallel Dataflow Programs.
ICPP (2)
Lee Badger, Mark D. Weiser
1980 J jnl
Beth's Property Fails in L
J. Symb. Log.
Lee Badger