Architectural Support for Run-Time Validation of Program Data Properties | IEEE Journals & Magazine | IEEE Xplore