¯\_(ツ)_/¯
Hey, I am Semyon Yurkov, a cybersecurity researcher based in Luxembourg. My great interest is in traditional card-based payments (EMV) and privacy aspects of cryptographic protocols. This is me and my wife Daria in the Brenta Dolomites, Italy. Below you can find information about me and my work.
Research
2023: Bursuc, S., Horne, R., Mauw, S., Yurkov S., Provably unlinkable smart cards-based payments in the proceedings of the ACM conference on Computer and Communications Security (CCS) – Copenhagen, Denmark
[slides] [extended version]
2023: Yurkov, S., Doctoral thesis: Analysis of smartcard-based payment protocols in the applied pi-calculus using quasi-open bisimilarity
[slides]
2023: Horne, R., Mauw, S., Yurkov S., Whenever a privacy property fails, a formula describes an attack: a complete and compositional verification method for the applied pi-calculus in Theoretical Computer Science (TCS) journal
[slides]
2022: Horne, R., Mauw, S., Yurkov S., Unlinkability of an improved key agreement protocol for EMV 2nd Gen payments in the proceedings of the Computer Security Foundations Symposium (CSF) conference – Haifa, Israel
[slides]
2021: Horne, R., Mauw, S., Yurkov S., Compositional analysis of protocol equivalence in the applied pi-calculus using quasi-open bisimilarity in the proceedings of International Colloquium on Theoretical Aspects of Computing (ICTAC) conference – Nur-Sultan, Kazakhstan / virtual
[slides] [talk]
2012: Karpov, A., Yurkov. S., Generalized bankruptcy problem in NRU HSE Series: Financial Economics journal
[slides (in rus)]
Teaching (University of Luxembourg)
Undergraduate classes
- 2020: Programming Fundamentals II (Swift) – Lab Sessions
- 2021-2022: Programming II (C and Swift) – Lab Sessions
- 2021: Security II – Lecturer
Graduate classes
- 2019-2022: Security Protocols – Teaching Assistant
- 2023: Security Protocols – Main Lecturer
Service
I reviewed papers for ICTAC2020, SECRYPT2021, WPES2022, IEEE DSC2022, ESORICS2022, CODASPY2024, ARES2024.