Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: The Efficient Server Audit Problem, Deduplicated Re-execution, and the
  Web   You put a program on a concurrent server, but you don't trust the server;
later, you get a trace of the actual requests that the server received from its
clients and the responses that it delivered. You separately get logs from the
server; these are untrusted. How can you use the logs to efficiently _verify_
that the responses were derived from running the program on the requests? This
is the _Efficient Server Audit Problem_, and it abstracts real-world scenarios,
including running a web application on an untrusted provider. We give a
solution based on several new techniques, including simultaneous replay and
efficient verification of concurrent executions. We implement the solution for
PHP web applications. For several applications, our verifier achieves
5.6--10.9x speedup versus simply re-executing, with less than 10 percent
overhead for the server.

13
The categories of this paper are: quant-ph
0
The categories of this paper are: hep-ph
2
The categories of this paper are: math
5
The categories of this paper are: gr-qc
9
The categories of this paper are: nlin
26
The categories of this paper are: bayes-an
14
The categories of this paper are: math-ph
18
The categories of this paper are: econ
33
The categories of this paper are: plasm-ph
27
The categories of this paper are: comp-gas
20
The categories of this paper are: acc-phys
34
The categories of this paper are: chem-ph
22
The categories of this paper are: chao-dyn
4
The categories of this paper are: cond-mat
6
The categories of this paper are: astro-ph
10
The categories of this paper are: q-bio