RAFA: Redundancies-assisted Algebraic Fault Analysis and its implementation on SPN block ciphers. - Zehong (Zephyr) Qiu; Fan Zhang 010 (IACR Trans. Cryptogr. Hardw. Embed. Syst., 2023)