Proving SIFA protection of masked redundant circuits

Vedad Hadzic*, Robert Primas, Roderick Bloem

*Corresponding author for this work

Research output: Contribution to journal › Article › peer-review

  • 1 Conference paper

Search results

  • 2021

    Proving SIFA Protection of Masked Redundant Circuits

    Hadžić, V., Primas, R. & Bloem, R., 2021, Automated Technology for Verification and Analysis: 19th International Symposium, ATVA 2021. Hou, Z. & Ganesh, V. (eds.). Cham: Springer, p. 249-265 16 p. (Lecture Notes in Computer Science; vol. 12971).

    Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

    File