The MULTICS Input/Output System. - Richard J. Feiertag; Elliott I. Organick (SOSP, 1971)

Software Development and Proofs of Multi-Level Security. - Peter G. Neumann; Richard J. Feiertag; Karl N. Levitt; Lawrence Robinson (ICSE, 1976)

Proving Multilevel Security of a System Design. - Richard J. Feiertag; Karl N. Levitt; Lawrence Robinson (SOSP, 1977)

The foundations of a provably secure operating system (PSOS). - Richard J. Feiertag; Peter G. Neumann (MARK, 1979)

An avenue for exploitation and development of verification technology. - Richard J. Feiertag; Thomas A. Berson (ACM SIGSOFT Softw. Eng. Notes, 1981)

Processor-per-Domain Guard Architecture. - Thomas A. Berson; Richard J. Feiertag; R. Kenneth Bauer (S&P, 1983)

A Key Distribution Protocol Using Event Markers - R. Kenneth Bauer; Thomas A. Berson; Richard J. Feiertag (ACM Trans. Comput. Syst., 1983)

Polonium: An Identity Authentication System. - Raymond M. Wong; Thomas A. Berson; Richard J. Feiertag (S&P, 1985)

Does TCB subsetting enhance trust? - Richard J. Feiertag (ACSAC, 1989)

Implicit Discretionary Access Propagation: A new Interpretation of DAC. - E. John Sebes; Richard J. Feiertag (CSFW, 1991)

A Separation Model for Virtual Machine Monitors. - Nancy L. Kelem; Richard J. Feiertag (S&P, 1991)

Intrusion detection inter-component adaptive negotiation. - Richard J. Feiertag; Stuart Staniford-Chen; Karl N. Levitt; Mark R. Heckman; Dave Peticolas; Rick Crawford; Lee A. Benzinger; Sue Rho; Stephen Wu 002 (Comput. Networks, 2000)

PSOS Revisited. - Peter G. Neumann; Richard J. Feiertag (ACSAC, 2003)