On the propagation of faults and their detection in a hardware implementation of the Advanced Encryption Standard