Martin Krenn

Publication Activity (10 Years)

Years Active: 2018-2019
Publications (10 Years): 3

Top Topics

Quantifier Elimination

Empirically Derived

Randomly Generated

Top Venues

IACR Cryptol. ePrint Arch.

Publications

Hannes Groß, Ko Stoffelen, Lauren De Meyer, Martin Krenn, Stefan Mangard
First-Order Masking with Only Two Random Bits. TIS@CCS (2019)
Hannes Groß, Lauren De Meyer, Martin Krenn, Stefan Mangard
Masking the AES with Only Two Random Bits. IACR Cryptol. ePrint Arch. 2018 (2018)
Roderick Bloem, Hannes Groß, Rinat Iusupov, Martin Krenn, Stefan Mangard
Sharing Independence & Relabeling: Efficient Formal Verification of Higher-Order Masking. IACR Cryptol. ePrint Arch. 2018 (2018)