Stephen H. Brackin

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