P. D. Hieu and M. Yung, “ Privacy in advanced cryptographic protocols: Prototypical examples”, J. Comput. Sci. Cybern., vol. 37, no. 4, p. 429–452, Oct. 2021.