Semen YURKOV

Semen YURKOV

Doctoral researcher

Fakultät oder Zentrum Fakultät für Naturwissenschaften, Technologie und Medizin
Department Fachbereich Informatik
Postadresse Université du Luxembourg
Maison du Nombre
6, Avenue de la Fonte
L-4364 Esch-sur-Alzette
Büroadresse 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