Rinat Iusupov

mag.

Formal Methods, PhD Student

Rinat Iusupov

Publications

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