Back
  1. Home
  2. Profile of Semen YURKOV (Unilu)
Profil

YURKOV Semen

Main Referenced Co-authors
MAUW, Sjouke  (3)
HORNE, Ross James  (2)
Cerone, Antonio (1)
GIL PONS, Reynaldo  (1)
Horne, Ross (1)
Main Referenced Keywords
Authentication (1); authentication (1); Bisimilarity (1); bisimilarity (1); Computational Theory and Mathematics (1);
Main Referenced Disciplines
Computer science (4)

Publications (total 4)

The most downloaded
392 downloads
YURKOV, S. (2023). Analysis of Smartcard-based Payment Protocols in the Applied Pi-calculus using Quasi-Open Bisimilarity [Doctoral thesis, Unilu - University of Luxembourg]. ORBilu-University of Luxembourg. https://orbilu.uni.lu/handle/10993/55510 https://hdl.handle.net/10993/55510

The most cited

5 citations (WOS)

HORNE, R. J., MAUW, S., YURKOV, S., Cerone, A., & Ölveczky, P. C. (2021). Compositional Analysis of Protocol Equivalence in the Applied pi-Calculus Using Quasi-open Bisimilarity. In Theoretical Aspects of Computing -- ICTAC 2021 (pp. 235--255). Cham, Unknown/unspecified: Springer International Publishing. doi:10.1007/978-3-030-85315-0_14 https://hdl.handle.net/10993/50045

GIL PONS, R., Horne, R., MAUW, S., STUTZ, F., & YURKOV, S. (2026). Security Protocols and Threat Models: Security and Privacy via The Applied π-Calculus. Springer Cham. doi:10.1007/978-3-032-08249-7
Editorial reviewed

YURKOV, S. (2023). Analysis of Smartcard-based Payment Protocols in the Applied Pi-calculus using Quasi-Open Bisimilarity [Doctoral thesis, Unilu - University of Luxembourg]. ORBilu-University of Luxembourg. https://orbilu.uni.lu/handle/10993/55510

HORNE, R. J., MAUW, S., & YURKOV, S. (10 August 2022). Unlinkability of an Improved Key Agreement Protocol for EMV 2nd Gen Payments [Paper presentation]. 35th IEEE Computer Security Foundations Symposium (CSF), Haifa, Israel.

HORNE, R. J., MAUW, S., YURKOV, S., Cerone, A., & Ölveczky, P. C. (2021). Compositional Analysis of Protocol Equivalence in the Applied pi-Calculus Using Quasi-open Bisimilarity. In Theoretical Aspects of Computing -- ICTAC 2021 (pp. 235--255). Cham, Unknown/unspecified: Springer International Publishing. doi:10.1007/978-3-030-85315-0_14
Peer reviewed

Contact ORBilu