The Efficient Server Audit Problem, Deduplicated Re-execution, and the Web
Overshadow: a virtualization-based approach to retrofitting protection in commodity operating systems