An Architecture for Large Scale Information Systems. - David K. Gifford; Robert W. Baldwin; Stephen T. Berlin; John M. Lucassen (SOSP, 1985)

Cryptographic Protocol for Trustable Match Making. - Robert W. Baldwin; Wayne Gramlich (S&P, 1985)

Rule Based Analysis of Computer Security. - Robert W. Baldwin (COMPCON, 1987)

Rule based analysis of computer security. - Robert W. Baldwin (1987)

Access control by Boolean expression evaluation. - Donald V. Miller; Robert W. Baldwin (ACSAC, 1989)

How we Solved the $100, 000 Decipher Puzzle (16 Hours too late). - Robert W. Baldwin; Alan T. Sherman (Cryptologia, 1990)

The RC5, RC5-CBC, RC5-CBC-Pad, and RC5-CTS Algorithms. - Robert W. Baldwin; Ronald L. Rivest (RFC, 1996)

The Multics encipher_Algorithm. - W. Olin Sibert; Robert W. Baldwin (Cryptologia, 2007)