SDVS: a system for verifying microcode correctness. - Leo Marcus; Stephen D. Crocker; Jaisook Landauer (ACM SIGSOFT Softw. Eng. Notes, 1985)

Formal Policies for Trusted Processes. - Jaisook Landauer; Timothy Redmond; Terry Benzel (CSFW, 1989)

A Framework for Composition of Security Models. - Jaisook Landauer; Timothy Redmond (CSFW, 1992)

A Lattice of Information. - Jaisook Landauer; Timothy Redmond (CSFW, 1993)