Stephen H. Brackin

According to our database, Stephen H. Brackin authored at least 11 papers between 1989 and 1999.

Collaborative distances:

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

1999

Implementing Effective Automatic Cryptographic Protocol Analysis.

Stephen H. Brackin

Proceedings of the 14th IEEE International Conference on Automated Software Engineering, 1999

Using Checkable Types in Automatic Protocol Analysis.

Stephen H. Brackin

Proceedings of the 15th Annual Computer Security Applications Conference (ACSAC 1999), 1999

1998

Evaluating and Improving Protocol Analysis by Automatic Proof.

Stephen H. Brackin

Proceedings of the 11th IEEE Computer Security Foundations Workshop, 1998

1997

An Interface Specification Language for Automatically Analyzing Cryptographic Protocols.

Stephen H. Brackin

Proceedings of the Network and Distributed System Security Symposium, 1997

1996

Deciding Cryptographic Protocol Adequacy with HOL: The Implementation.

Stephen H. Brackin

Proceedings of the Theorem Proving in Higher Order Logics, 9th International Conference, 1996

A HOL extension of GNY for automatically analyzing cryptographic protocols.

Stephen H. Brackin

Proceedings of the Ninth IEEE Computer Security Foundations Workshop, March 10, 1996

Verifying The Correctness Of Cryptographic Protocols Using "Convince".

Randall W. Lichota, Grace L. Hammonds, Stephen H. Brackin

Proceedings of the 12th Annual Computer Security Applications Conference (ACSAC 1996), 1996

1995

Deciding Cryptographic Protocol Adequacy with HOL.

Stephen H. Brackin

Proceedings of the Higher Order Logic Theorem Proving and Its Applications, 1995

1994

Providing Tractable Security Analysis in HOL.

Stephen H. Brackin

Proceedings of the Higher Order Logic Theorem Proving and Its Applications, 1994

1993

Server-Process Restrictiveness in HOL.

Stephen H. Brackin, Shiu-Kai Chin

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

1989

Partitions with no Coarsenings of Higher Degree.

Stephen H. Brackin

Math. Log. Q., 1989