Toward Online Verification of Client Behavior in Distributed Applications

Author(s): Robert A. Cochran, Michael K. Reiter

Download: Paper (PDF)

Date: 24 Apr 2013

Document Type: Presentations

Additional Documents: Slides

Associated Event: NDSS Symposium 2013

Abstract:

We present a new technique by which a server can verify the consistency of a client’s behavior with the sanctioned client software, even though the server does not know inputs local to the client that are driving its behavior.  Our approach improves upon previous approaches in precision, bandwidth consumption, and/or computational expense.