Semen YURKOV
|
|
||||
| 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 | ||||
|
|||||
powered by
2022
Unlinkability of an Improved Key Agreement Protocol for EMV 2nd Gen Payments; ;
Scientific Conference (2022, August 10)
2021
Compositional Analysis of Protocol Equivalence in the Applied pi-Calculus Using Quasi-open Bisimilarity; ; ; ;
in Theoretical Aspects of Computing -- ICTAC 2021 (2021)
