Rinat Iusupov


Formal Methods, PhD Student

Rinat Iusupov


Generic Low-Latency Masking in Hardware

Iusupov, R. & Bloem, R.
, 1-21

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

Bloem, R., Iusupov, R. & Mangard, S.
, 1031

Formal Verification of Masked Hardware Implementations in the Presence of Glitches

Bloem, R., Iusupov, R., Könighofer, B. & Mangard, S.
EUROCRYPT , Springer, 321-353, (Lecture Notes in Computer Science; vol. )

More Publications