A Redundancy-Based Attack Detection Technique for Java Card Bytecode | IEEE Conference Publication | IEEE Xplore