The Efficient Server Audit Problem, Deduplicated Re-execution, and the Web
The authors provide a solution for the Efficient Server Audit Problem based on several new techniques, including simultaneous replay and efficient verification of concurrent executions, implemented for PHP web applications.