Value prediction for security (VPsec): Countering fault attacks in modern microprocessors | IEEE Conference Publication | IEEE Xplore