Semen YURKOV

Semen YURKOV

Doctoral researcher

Faculté ou Centre Faculté des Sciences, des Technologies et de Médecine
Department Département Informatique
Adresse postale Université du Luxembourg
Maison du Nombre
6, Avenue de la Fonte
L-4364 Esch-sur-Alzette
Bureau sur le campus MNO, E03 0325-080
E-mail
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