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

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

Publikation: Beitrag in einer FachzeitschriftArtikel

Originalspracheundefiniert/unbekannt
Seiten (von - bis)1031
Seitenumfang1
FachzeitschriftCryptology ePrint Archive
Jahrgang2018
PublikationsstatusVeröffentlicht - 2018

Dieses zitieren