A Framework for Provably Secure Onion Routing against a Global Adversary. - Philip Scherer; Christiane Weis; Thorsten Strufe (Proc. Priv. Enhancing Technol., 2024)

Provable Security for the Onion Routing and Mix Network Packet Format Sphinx. - Philip Scherer; Christiane Weis; Thorsten Strufe (Proc. Priv. Enhancing Technol., 2024)