Control Flow and Pointer Integrity Enforcement in a Secure Tagged Architecture | IEEE Conference Publication | IEEE Xplore