Robustness Guarantees for Anonymity

  title={Robustness Guarantees for Anonymity},
  author={Gilles Barthe and Alejandro Hevia and Zhengqin Luo and Tamara Rezk and Bogdan Warinschi},
  journal={2010 23rd IEEE Computer Security Foundations Symposium},
Anonymous communication protocols must achieve two seemingly contradictory goals: privacy (informally, they must guarantee the anonymity of the parties that send/receive information), and robustness (informally, they must ensure that the messages are not tampered). However, the long line of research that defines and analyzes the security of such mechanisms focuses almost exclusively on the former property and ignores the latter. In this paper, we initiate a rigorous study of robustness… CONTINUE READING