On the propagation of faults and their detection in a hardware implementation of the Advanced Encryption Standard | IEEE Conference Publication | IEEE Xplore