Secure and Efficient Application Monitoring and Replication

A new design, ReMon, is presented that is non-intrusive, secure, and highly efficient that enforces cross-checking only for security critical system calls while supporting more relaxed monitoring policies for system calls that are not security critical.