Yale Systems, Inc.
Onion routing is the paradigm for the most widely used and widely deployed anonymous communications systems. The Tor onion routing network currently comprises some three thousand nodes worldwide and has about a half million daily users. The authors present the formalization and analysis of a practical paradigm for general anonymous communication using standard cryptographic primitives. Specifically they present a probabilistic analysis of onion routing in a black-box model of anonymous communication in the Universally Composable framework. Full statements of results and proofs can be found in the full paper.