Philip Scherer

SoK: Provably Secure Onion Routing against a Global Adversary — PETS 2024