Punctured Karpovsky-Taubin binary robust error detecting codes for cryptographic devices | IEEE Conference Publication | IEEE Xplore