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.
Security and Trust of Software Systems
Belval Campus, Maison du Nombre (3rd floor), 6 avenue de la Fonte, L-4364 Esch-sur-Alzette, Luxembourg