Towards a testbed for malicious code detection. - Raymond W. Lo; P. Kerchen; Richard H. Crawford; W. Wilson Ho; J. Crossley; George Fink; Karl N. Levitt; Ronald A. Olsson; Myla Archer (Compcon, 1991)

PM: A Proof Manager for HOL and Other Provers. - George Fink; Myla Archer; Lie Yang (TPHOLs, 1991)

Linking Other Theorem Provers to HOL Using PM: Proof Manager. - Myla Archer; George Fink; Lie Yang (TPHOLs, 1992)

Property-based testing of privileged programs. - George Fink; Karl N. Levitt (ACSAC, 1994)

Automated detection of vulnerabilities in privileged programs by execution monitoring. - Calvin Ko; George Fink; Karl N. Levitt (ACSAC, 1994)

Property-based testing: a new approach to testing for assurance. - George Fink; Matt Bishop (ACM SIGSOFT Softw. Eng. Notes, 1997)