AnoA: A Framework for Analyzing Anonymous Communication Protocols - Backes, Michael; Kate, Aniket; Manoharan, Praveen; Meiser, Sebastian; Mohammadi, Esfandiar (Proceedings - Computer Security Foundations Workshop, 2013)
Keywords: anonymity analysis; Computational modeling; Cryptography; differential privacy; Educational institutions; Games; Privacy; Protocols; relationship anonymity; Tor; unlinkability