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

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

Research output: Contribution to journalArticle

Original languageUndefined/Unknown
Pages (from-to)1031
Number of pages1
JournalCryptology ePrint Archive
Volume2018
Publication statusPublished - 2018

Cite this