(1)
Backes, M.; Kate, A.; Manoharan, P.; Meiser, S.; Mohammadi, E. AnoA: A Framework for Analyzing Anonymous Communication Protocols. JPC 2017, 7.