Proving SIFA Protection of Masked Redundant Circuits

Vedad Hadzic, Robert Primas, Roderick Bloem

Implementation attacks like side-channel and fault attacks pose a considerable threat to cryptographic devices that are physically accessible by an attacker. As a consequence, devi…