TechPrufer
Get started
Two Sigma
Two Sigma logoTwo Sigma · Feature trail

Efficient Server Audit

1 post · Nov 2017

What this trail covers

Two Sigma is developing capabilities to verify the integrity of responses from untrusted concurrent servers, particularly in web application scenarios. This involves addressing the Efficient Server Audit Problem through techniques like simultaneous replay and efficient verification of concurrent executions. The goal is to provide a robust method for auditing server behavior and ensuring that responses are correctly derived from the executed program and client requests, with a focus on minimizing overhead for the server and achieving speedups over simple re-execution.

All Two Sigma trails
  1. The Efficient Server Audit Problem, Deduplicated Re-execution, and the WebThis post introduces the Efficient Server Audit Problem, which addresses the challenge of verifying that responses from an untrusted concurrent server were correctly derived from a given program and client requests. It proposes a solution based on new techniques including simultaneous replay and efficient verification of concurrent executions. The implementation for PHP web applications demonstrates speedups over simple re-execution and low server overhead.