TY - RPRT TI - Proving SIFA Protection of Masked Redundant Circuits AU - Vedad Hadzic AU - Robert Primas AU - Roderick Bloem PY - 2021 UR - https://arxiv.org/abs/2107.01917 ID - 2107.01917 ER -