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

YURKOV Semen

Main Referenced Co-authors
HORNE, Ross James  (2)
MAUW, Sjouke  (2)
Cerone, Antonio (1)
Ölveczky, Peter Csaba (1)
Main Referenced Keywords
authentication (1); bisimilarity (1); formal methods (1); key agreement (1); payment protocols (1);
Main Referenced Disciplines
Computer science (3)

Publications (total 3)

The most downloaded
207 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 (Scopus®)

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

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