[tor-dev] Paper on how DNS affects Tor's anonymity