Partitions with no Coarsenings of Higher Degree. - Stephen H. Brackin (Math. Log. Q., 1989)

Server-Process Restrictiveness in HOL. - Stephen H. Brackin; Shiu-Kai Chin (HUG, 1993)

Providing Tractable Security Analysis in HOL. - Stephen H. Brackin (TPHOLs, 1994)

Deciding Cryptographic Protocol Adequacy with HOL. - Stephen H. Brackin (TPHOLs, 1995)

Verifying The Correctness Of Cryptographic Protocols Using "Convince". - Randall W. Lichota; Grace L. Hammonds; Stephen H. Brackin (ACSAC, 1996)

A HOL extension of GNY for automatically analyzing cryptographic protocols. - Stephen H. Brackin (CSFW, 1996)

Deciding Cryptographic Protocol Adequacy with HOL: The Implementation. - Stephen H. Brackin (TPHOLs, 1996)

An Interface Specification Language for Automatically Analyzing Cryptographic Protocols. - Stephen H. Brackin (NDSS, 1997)

Evaluating and Improving Protocol Analysis by Automatic Proof. - Stephen H. Brackin (CSFW, 1998)

Using Checkable Types in Automatic Protocol Analysis. - Stephen H. Brackin (ACSAC, 1999)

Implementing Effective Automatic Cryptographic Protocol Analysis. - Stephen H. Brackin (ASE, 1999)