Semen YURKOV

Semen YURKOV

Doctoral researcher

Faculty or Centre Faculty of Science, Technology and Medicine
Department Department of Computer Science
Postal Address Université du Luxembourg
Maison du Nombre
6, Avenue de la Fonte
L-4364 Esch-sur-Alzette
Campus Office MNO, E03 0325-080
Email
powered by
orbilu.uni.lu

2022

Full Text
See detailUnlinkability of an Improved Key Agreement Protocol for EMV 2nd Gen Payments
Horne, Ross James; Mauw, Sjouke; Yurkov, Semen

Scientific Conference (2022, August 10)

Top of Page

2021

Full Text
See detailCompositional Analysis of Protocol Equivalence in the Applied pi-Calculus Using Quasi-open Bisimilarity
Horne, Ross James; Mauw, Sjouke; Yurkov, Semen; Cerone, Antonio; Ölveczky, Peter Csaba

in Theoretical Aspects of Computing -- ICTAC 2021 (2021)

Top of Page