Formal Verification of Masked Hardware Implementations in the Presence of Glitches. - Roderick Bloem; Hannes Groß; Rinat Iusupov; Bettina Könighofer; Stefan Mangard; Johannes Winter (IACR Cryptol. ePrint Arch., 2017)

Generic Low-Latency Masking. - Hannes Groß; Rinat Iusupov; Roderick Bloem (IACR Cryptol. ePrint Arch., 2017)

Sharing Independence & Relabeling: Efficient Formal Verification of Higher-Order Masking. - Roderick Bloem; Hannes Groß; Rinat Iusupov; Martin Krenn; Stefan Mangard (IACR Cryptol. ePrint Arch., 2018)

Generic Low-Latency Masking in Hardware. - Hannes Groß; Rinat Iusupov; Roderick Bloem (IACR Trans. Cryptogr. Hardw. Embed. Syst., 2018)