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
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.