Collaborated with:
∅
Talks about:
cryptograph (1) implement (1) protocol (1) automat (1) analysi (1) effect (1)
Person: Stephen H. Brackin
DBLP: Brackin:Stephen_H=
Contributed to:
Wrote 1 papers:
- ASE-1999-Brackin #analysis #automation #effectiveness #encryption #implementation #protocol
- Implementing Effective Automatic Cryptographic Protocol Analysis (SHB), pp. 319–322.