Stephen H. Brackin

A HOL extension of GNY for automatically analyzing cryptographic protocols

Stephen H. Brackin · 2002 · 56 citations

Computing, Computer Science, Authentication +16

Automatically detecting most vulnerabilities in cryptographic protocols

Stephen H. Brackin · 2002 · 23 citations

Computing, Computer Science, Cybersecurity +17

CAPSL interface for the NRL Protocol Analyzer

Stephen H. Brackin, Catherine Meadows, Jonathan K. Millen · 2003 · 23 citations

Computing, Computer Science, Cybersecurity +16

An interface specification language for automatically analyzing cryptographic protocols

Stephen H. Brackin · 2002 · 22 citations

Computing, Computer Science, Authentication +16

Evaluating and improving protocol analysis by automatic proof

Stephen H. Brackin · 2002 · 21 citations

Computing, Computer Science, Computer Systems +16