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

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

*Korrespondierende/r Autor/-in für diese Arbeit

Publikation: ArbeitspapierPreprint

Fingerprint

Untersuchen Sie die Forschungsthemen von „Sharing Independence Relabeling: Efficient Formal Verification of Higher-Order Masking“. Zusammen bilden sie einen einzigartigen Fingerprint.

Computer Science