Untagging Tor: a formal treatment of onion encryption
scientific article; zbMATH DE number 6904615