Static secure page allocation for light-weight dynamic information flow tracking
Secure program execution via dynamic information flow tracking