A Formalization of Anonymity and Onion Routing.

Sjouke Mauw, Jan Verschuren, Erik P. de Vink

Browse the full ESORICS paper archive.