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)

Masking the AES with Only Two Random Bits. - Hannes Groß; Lauren De Meyer; Martin Krenn; Stefan Mangard (IACR Cryptol. ePrint Arch., 2018)

First-Order Masking with Only Two Random Bits. - Hannes Groß; Ko Stoffelen; Lauren De Meyer; Martin Krenn; Stefan Mangard (TIS@CCS, 2019)