Sharing Independence & Relabeling: Efficient Formal Verification of Higher-Order Masking

Roderick Bloem, Hannes GroƟ, Rinat Iusupov, Martin Krenn, Stefan Mangard. Sharing Independence & Relabeling: Efficient Formal Verification of Higher-Order Masking. IACR Cryptology ePrint Archive, 2018:1031, 2018. [doi]

Abstract

Abstract is missing.