RAFA: Redundancies-assisted Algebraic Fault Analysis and its implementation on SPN block ciphers. TCHES. 2023;2023(3):570-596. doi:10.46586/tches.v2023.i3.570-596