Architecture Support for Dynamic Integrity Checking | IEEE Journals & Magazine | IEEE Xplore