Server-side verification of client behavior in cryptographic protocols. - Andrew Chi; Robert A. Cochran; Marie Nesfield; Michael K. Reiter; Cynthia Sturton (CoRR, 2016)

A System to Verify Network Behavior of Known Cryptographic Clients. - Andrew Chi; Robert A. Cochran; Marie Nesfield; Michael K. Reiter; Cynthia Sturton (NSDI, 2017)