George Fink

According to our database, George Fink authored at least 6 papers between 1991 and 1997.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1997

Property-based testing: a new approach to testing for assurance.

George Fink, Matt Bishop

ACM SIGSOFT Softw. Eng. Notes, 1997

1994

Automated detection of vulnerabilities in privileged programs by execution monitoring.

Calvin Ko, George Fink, Karl N. Levitt

Proceedings of the 10th Annual Computer Security Applications Conference, 1994

Property-based testing of privileged programs.

George Fink, Karl N. Levitt

Proceedings of the 10th Annual Computer Security Applications Conference, 1994

1992

Linking Other Theorem Provers to HOL Using PM: Proof Manager.

Myla Archer, George Fink, Lie Yang

Proceedings of the Higher Order Logic Theorem Proving and its Applications, 1992

1991

PM: A Proof Manager for HOL and Other Provers.

George Fink, Myla Archer, Lie Yang

Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and its Applications, 1991

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

Proceedings of the Compcon Spring '91, San Francisco, 1991