A System to Verify Network Behavior of Known Cryptographic Clients.

Andrew Chi, Robert A. Cochran, Marie Nesfield, Michael K. Reiter, Cynthia Sturton

Browse the full NSDI paper archive.