Secure Page Table Monitor and Trusted Execution Monitor