Enhancing security through hardware-assisted run-time validation of program data properties