Efficient memory integrity verification and encryption for secure processors | IEEE Conference Publication | IEEE Xplore