Alessandro Melloni, Martijn Stam, and Øyvind Ytrehus, “Dynamic Security Aspects of Onion Routing”,  Proceedings of IMACC 2023, Royal Holloway, London, December 2023. To appear in LNCS 14421