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

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

Research output: Contribution to journal › Article

Access to Document

@article{6c96022f575c49e59d0faccaae8fc5dc,

title = "Sharing Independence Relabeling: Efficient Formal Verification of Higher-Order Masking",

author = "Roderick Bloem and Hannes Gro{\ss} and Rinat Iusupov and Martin Krenn and Stefan Mangard",

year = "2018",

language = "undefiniert/unbekannt",

volume = "2018",

pages = "1031",

journal = "Cryptology ePrint Archive",

publisher = "IACR",

}