A Self-Synchronizing Cascaded Cipher System With Dynamic Control of Error-Propagation. - Norman Proctor (CRYPTO, 1984)

The restricted access processor: an example of formal verification. - Norman Proctor (ACM SIGSOFT Softw. Eng. Notes, 1985)

Muse - A Computer Assisted Verification System. - J. Daniel Halpern; Sam Owre; Norman Proctor; William F. Wilson (IEEE Trans. Software Eng., 1987)

The security policy of the secure distributed operating system prototype. - Norman Proctor; Raymond Wong (ACSAC, 1989)