Toward Online Verification of Client Behavior in Distributed Applications.

Robert A. Cochran, Michael K. Reiter

Browse the full NDSS paper archive.