Rinat Iusupov

Publication Activity (10 Years)

Years Active: 2017-2018
Publications (10 Years): 5

Top Topics

Formal Verification

Continuous Query Processing

Top Venues

IACR Cryptol. ePrint Arch.

IACR Trans. Cryptogr. Hardw. Embed. Syst.

Publications

Hannes Groß, Rinat Iusupov, Roderick Bloem
Generic Low-Latency Masking in Hardware. IACR Trans. Cryptogr. Hardw. Embed. Syst. 2018 (2) (2018)
Roderick Bloem, Hannes Groß, Rinat Iusupov, Bettina Könighofer, Stefan Mangard, Johannes Winter
Formal Verification of Masked Hardware Implementations in the Presence of Glitches. EUROCRYPT (2) (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)
Hannes Groß, Rinat Iusupov, Roderick Bloem
Generic Low-Latency Masking. IACR Cryptol. ePrint Arch. 2017 (2017)
Roderick Bloem, Hannes Groß, Rinat Iusupov, Bettina Könighofer, Stefan Mangard, Johannes Winter
Formal Verification of Masked Hardware Implementations in the Presence of Glitches. IACR Cryptol. ePrint Arch. 2017 (2017)