Joan Feigenbaum, Aaron Johnson, Paul F. Syverson. A Model of Onion Routing with Provable Anonymity. In Sven Dietrich, Rachna Dhamija, editors, Financial Cryptography and Data Security, 11th International Conference, FC 2007, and 1st International Workshop on Usable Security, USEC 2007, Scarborough, Trinidad and Tobago, February 12-16, 2007. Revised Selected Papers. Volume 4886 of Lecture Notes in Computer Science, pages 57-71, Springer, 2007. [doi]