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

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

Research output: Contribution to journalArticleResearchpeer-review

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

Cite this

Sharing Independence Relabeling: Efficient Formal Verification of Higher-Order Masking. / Bloem, Roderick; Groß, Hannes; Iusupov, Rinat; Krenn, Martin; Mangard, Stefan.

In: Cryptology ePrint Archive, Vol. 2018, 2018, p. 1031.

Research output: Contribution to journalArticleResearchpeer-review

@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",

}

TY - JOUR

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

AU - Bloem, Roderick

AU - Groß, Hannes

AU - Iusupov, Rinat

AU - Krenn, Martin

AU - Mangard, Stefan

PY - 2018

Y1 - 2018

M3 - Artikel

VL - 2018

SP - 1031

JO - Cryptology ePrint Archive

JF - Cryptology ePrint Archive

ER -