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

Roderick Bloem, Hannes Groß*, Rinat Iusupov, Martin Krenn, Stefan Mangard

*Corresponding author for this work

Research output: Working paperPreprint

Fingerprint

Dive into the research topics of 'Sharing Independence Relabeling: Efficient Formal Verification of Higher-Order Masking'. Together they form a unique fingerprint.

Computer Science