Semen Yurkov

According to our database, Semen Yurkov authored at least 6 papers between 2021 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

When privacy fails, a formula describes an attack: A complete and compositional verification method for the applied <i>π</i>-calculus.

Ross Horne, Sjouke Mauw, Semen Yurkov

Theor. Comput. Sci., May, 2023

Analysis of Smartcard-based Payment Protocols in the Applied Pi-calculus using Quasi-Open Bisimilarity.

Semen Yurkov

PhD thesis, 2023

Provably Unlinkable Smart Card-based Payments.

Sergiu Bursuc, Ross Horne, Sjouke Mauw, Semen Yurkov

Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, 2023

2022

Unlinkability of an Improved Key Agreement Protocol for EMV 2nd Gen Payments.

Ross Horne, Sjouke Mauw, Semen Yurkov

Proceedings of the 35th IEEE Computer Security Foundations Symposium, 2022

2021

Breaking and Fixing Unlinkability of the Key Agreement Protocol for 2nd Gen EMV Payments.

Ross Horne, Sjouke Mauw, Semen Yurkov

CoRR, 2021

Compositional Analysis of Protocol Equivalence in the Applied π-Calculus Using Quasi-open Bisimilarity.

Ross Horne, Sjouke Mauw, Semen Yurkov

Proceedings of the Theoretical Aspects of Computing - ICTAC 2021, 2021