Specifications for Multi-Level Security and a Hook-Up Property. - Daryl McCullough (S&P, 1987)

Covert Channels and Degrees of Insecurity. - Daryl McCullough (CSFW, 1988)

Noninterference and the composability of security properties. - Daryl McCullough (S&P, 1988)

A Hookup Theorem for Multilevel Security. - Daryl McCullough (IEEE Trans. Software Eng., 1990)

Knowledge requirements for the automatic generation of project management reports. - Tanya Korelsky; Daryl McCullough; Owen Rambow (KBSE, 1993)

A New Approach To Expert System Explanations. - Regina Barzilay; Daryl McCullough; Owen Rambow; Jonathan D. DeCristofaro; Tanya Korelsky; Benoit Lavoie (INLG, 1998)