Hieu, P. D., & Yung, M. (2021). Privacy in advanced cryptographic protocols: Prototypical examples. Journal of Computer Science and Cybernetics, 37(4), 429–452. https://doi.org/10.15625/1813-9663/37/4/16104