Stephen H. Brackin

Publication Activity (10 Years)

Years Active: 1989-1999
Publications (10 Years): 0

Publications

Stephen H. Brackin
Using Checkable Types in Automatic Protocol Analysis. ACSAC (1999)
Stephen H. Brackin
Implementing Effective Automatic Cryptographic Protocol Analysis. ASE (1999)
Stephen H. Brackin
Evaluating and Improving Protocol Analysis by Automatic Proof. CSFW (1998)
Stephen H. Brackin
An Interface Specification Language for Automatically Analyzing Cryptographic Protocols. NDSS (1997)
Stephen H. Brackin
Deciding Cryptographic Protocol Adequacy with HOL: The Implementation. TPHOLs (1996)
Stephen H. Brackin
A HOL extension of GNY for automatically analyzing cryptographic protocols. CSFW (1996)
Randall W. Lichota, Grace L. Hammonds, Stephen H. Brackin
Verifying The Correctness Of Cryptographic Protocols Using "Convince". ACSAC (1996)
Stephen H. Brackin
Deciding Cryptographic Protocol Adequacy with HOL. TPHOLs (1995)
Stephen H. Brackin
Providing Tractable Security Analysis in HOL. TPHOLs (1994)
Stephen H. Brackin, Shiu-Kai Chin
Server-Process Restrictiveness in HOL. HUG (1993)
Stephen H. Brackin
Partitions with no Coarsenings of Higher Degree. Math. Log. Q. 35 (4) (1989)