Michael Backes, Ian Goldberg, Aniket Kate, Esfandiar Mohammadi. Provably Secure and Practical Onion Routing. In Stephen Chong, editor, 25th IEEE Computer Security Foundations Symposium, CSF 2012, Cambridge, MA, USA, June 25-27, 2012. pages 369-385, IEEE, 2012. [doi]
Abstract is missing.