INATEST: an interactive environment for testing formal specifications. - Steven T. Eckmann; Richard A. Kemmerer (ACM SIGSOFT Softw. Eng. Notes, 1985)

Eliminating formal flows in automated information flow analysis. - Steven T. Eckmann (S&P, 1994)

Understanding Integrated Circuits. - Gregory H. Chisholm; Steven T. Eckmann; Christopher M. Lain; Robert Veroff (IEEE Des. Test Comput., 1999)

STATL: An Attack Language for State-Based Intrusion Detection. - Steven T. Eckmann; Giovanni Vigna; Richard A. Kemmerer (J. Comput. Secur., 2002)