Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Yurkov, Semen
11  Ergebnisse:
Personensuche X
?
1

When privacy fails, a formula describes an attack: A comple..:

Horne, Ross ; Mauw, Sjouke ; Yurkov, Semen
Theoretical Computer Science.  959 (2023)  - p. 113842 , 2023
Link: https://doi.org/10.1016/..
 
?
2

Provably Unlinkable Smart Card-based Payments:

, In: Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security,
Bursuc, Sergiu ; Horne, Ross ; Mauw, Sjouke. - p. 1392-1406 , 2023
Link: https://dl.acm.org/doi/1..
 
?
3

Unlinkability of an Improved Key Agreement Protocol for EMV..:

, In: 2022 IEEE 35th Computer Security Foundations Symposium (CSF),
Horne, Ross ; Mauw, Sjouke ; Yurkov, Semen - p. 364-379 , 2022
Link: https://doi.org/10.1109/..
 
?
4

Compositional Analysis of Protocol Equivalence in the Appli..:

, In: Theoretical Aspects of Computing – ICTAC 2021; Lecture Notes in Computer Science,
Horne, Ross ; Mauw, Sjouke ; Yurkov, Semen - p. 235-255 , 2021
Link: https://doi.org/10.1007/..
 
?
5

Analysis of Smartcard-based Payment Protocols in the Applie..:

Yurkov, Semen
http://orbilu.uni.lu/handle/10993/55510.  , 2023
Link: http://orbilu.uni.lu/han..
 
?
6

Provably unlinkable smart card-based payments:

Bursuc, Sergiu ; Horne, Ross ; Mauw, Sjouke.
https://strathprints.strath.ac.uk/86881/1/Bursuc_etal_arXiv_2023_Provably_unlinkable_smart_card_based_payments.pdf.  , 2023
Link: https://strathprints.str..
 
?
7

Provably Unlinkable Smart Card-based Payments:

Bursuc, Sergiu ; Horne, Ross ; Mauw, Sjouke.
http://arxiv.org/abs/2309.03128.  , 2023
Link: http://arxiv.org/abs/230..
 
?
8

Unlinkability of an Improved Key Agreement Protocol for EMV..:

Horne, Ross James ; Mauw, Sjouke ; Yurkov, Semen
35th IEEE Computer Security Foundations Symposium (CSF), Haifa, Israel (from 07-08-2022 to 10-08-2022).  , 2022
Link: http://orbilu.uni.lu/han..
 
?
9

Unlinkability of an Improved Key Agreement Protocol for EMV..:

Horne, Ross ; Mauw, Sjouke ; Yurkov, Semen
http://arxiv.org/abs/2105.02029.  , 2021
Link: http://arxiv.org/abs/210..
 
?
10

Compositional Analysis of Protocol Equivalence in the Appli..:

Horne, Ross James ; Mauw, Sjouke ; Yurkov, Semen..
ICTAC 2021 (08-10 September 2021).  , 2021
Link: http://orbilu.uni.lu/han..
 
?
11

Compositional analysis of protocol equivalence in the appli..:

Horne, Ross ; Mauw, Sjouke ; Yurkov, Semen
https://strathprints.strath.ac.uk/87462/1/Horne-etal-ICTAC2021-Compositional-analysis-protocol-equivalence-applied-pi-calculus-using-quasi-open-bisimilarity.pdf.  , 2021
Link: https://strathprints.str..
 
1-11