M. Backes, A. Kate, P. Manoharan, S. Meiser, and E. Mohammadi, “AnoA: A Framework for Analyzing Anonymous Communication Protocols”, JPC, vol. 7, no. 2, Jan. 2017.