Semen Yurkov

I am a PhD student within the Security and Trust of Software Systems (SaToSS) research group at the University of Luxembourg. The group is headed by Prof. Dr. Sjouke Mauw.

Research topics

Quasi-open bisimilarity

Privacy properties of systems are usually expressed as certain equivalence problems in applied Pi-calculus. In this talk, I discuss the importance of the chosen equivalence notion and argue that Quasi-open bisimilarity is the optimal equivalnce choice to analyse the privacy of real-world protocols. The corresponding paper, "Compositional Analysis of Protocol Equivalence in the Applied Pi-calculus using Quasi-Open Bisimilarity" is to appear in the proceedings of the ICTAC 2021 conference.