Login / Signup
Rinat Iusupov
ORCID
Publication Activity (10 Years)
Years Active: 2017-2018
Publications (10 Years): 5
Top Topics
Formal Verification
Long Running
Model Checker
Continuous Query Processing
Top Venues
IACR Cryptol. ePrint Arch.
IACR Trans. Cryptogr. Hardw. Embed. Syst.
EUROCRYPT (2)
</>
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)