Provably Avoiding Geographic Regions for Tor's Onion Services. - Arushi Arora; Raj Karra; Dave Levin; Christina Garman (FC (1), 2023)