Semen Yurkov

Publication Activity (10 Years)

Years Active: 2021-2023
Publications (10 Years): 6

Top Topics

Differential Power Analysis

Remote User Authentication Scheme

Top Venues

Publications

Sergiu Bursuc, Ross Horne, Sjouke Mauw, Semen Yurkov
Provably Unlinkable Smart Card-based Payments. CoRR (2023)
Sergiu Bursuc, Ross Horne, Sjouke Mauw, Semen Yurkov
Provably Unlinkable Smart Card-based Payments. CCS (2023)
Ross Horne, Sjouke Mauw, Semen Yurkov
-calculus. Theor. Comput. Sci. 959 (2023)
Ross Horne, Sjouke Mauw, Semen Yurkov
Unlinkability of an Improved Key Agreement Protocol for EMV 2nd Gen Payments. CSF (2022)
Ross Horne, Sjouke Mauw, Semen Yurkov
Breaking and Fixing Unlinkability of the Key Agreement Protocol for 2nd Gen EMV Payments. CoRR (2021)
Ross Horne, Sjouke Mauw, Semen Yurkov
Compositional Analysis of Protocol Equivalence in the Applied π-Calculus Using Quasi-open Bisimilarity. ICTAC (2021)