Beth's Property Fails in L < omega 1. - Lee Badger (J. Symb. Log., 1980)

Minimizing Communication for Synchronizing Parallel Dataflow Programs. - Lee Badger; Mark D. Weiser (ICPP (2), 1988)

A Model for Specifying Multi-Granularity Integrity Policies. - Lee Badger (S&P, 1989)

Providing a Flexible Security Override for Trusted Systems. - Lee Badger (CSFW, 1990)

Practical Domain and Type Enforcement for UNIX. - Lee Badger; Daniel F. Sterne; David L. Sherman; Kenneth M. Walker; Sheila A. Haghighat (S&P, 1995)

A Domain and Type Enforcement UNIX Prototype. - Lee Badger; Daniel F. Sterne; David L. Sherman; Kenneth M. Walker; Sheila A. Haghighat (USENIX Security Symposium, 1995)

Confining Root Programs with Domain and Type Enforcement. - Kenneth M. Walker; Daniel F. Sterne; Lee Badger; Michael J. Petkac; David L. Sherman; Karen A. Oostendorp (USENIX Security Symposium, 1996)

A Domain and Type Enforcement UNIX Prototype. - Lee Badger; Daniel F. Sterne; David L. Sherman; Kenneth M. Walker (Comput. Syst., 1996)

Domain and Type Enforcement Firewalls. - Karen A. Oostendorp; Lee Badger; C. D. Vance; W. G. Morrison; Michael J. Petkac; David L. Sherman; Daniel F. Sterne (ACSAC, 1997)

Ensuring Continuity During Dynamic Security Policy Reconfiguration in DTE. - Timothy Fraser; Lee Badger (S&P, 1998)

Hardening COTS Software with Generic Software Wrappers. - Timothy Fraser; Lee Badger; Mark Feldman (S&P, 1999)

Security Agility in Response to Intrusion Detection. - Michael J. Petkac; Lee Badger (ACSAC, 2000)

Detecting and Countering System Intrusions Using Software Wrappers. - Calvin Ko; Timothy Fraser; Lee Badger; Douglas Kilpatrickv (USENIX Security Symposium, 2000)

Generating the Measures of n-Balls. - Lee Badger (Am. Math. Mon., 2000)

The Tower of Stanford: 10956. - John McCarthy 001; Lee Badger; Marc Williams (Am. Math. Mon., 2004)