Toward an Understanding of Extensible Architectures for Evaluated Trusted Computer System Products. - M. Schaefer; Roger R. Schell (S&P, 1984)

Symbol Security Condition Considered Harmful. - M. Schaefer (S&P, 1989)

Tea and I: An Allergy. - M. Schaefer; W. C. Barker; Charles P. Pfleeger (S&P, 1989)

Signal transition graph decomposition: internal communication for speed independent circuit implementation. - Dominic Wist; M. Schaefer; Walter Vogler; Ralf Wollowski (IET Comput. Digit. Tech., 2011)