A Model of Onion Routing with Provable Anonymity

Full textClick to download.
CitationIn Proceedings of the Eleventh Financial Crypto Conference, February 2007.
AuthorsJoan Feigenbaum
Aaron Johnson
Paul Syverson


Onion routing is a scheme for anonymous communication that is designed for practical use. Until now, however, it has had no formal model and therefore no rigorous analysis of its anonymity guarantees. We give an IO-automata model of an onion-routing protocol and, under possibilistic definitions, characterize the situations in which anonymity and unlinkability are guaranteed.

Back to publications
Back to previous page