Brief announcement: distributed cryptography using trinc. - Michael Backes 001; Fabian Bendun; Aniket Kate (PODC, 2012)

Computational Soundness of Symbolic Zero-knowledge Proofs: Weaker Assumptions and Mechanized Verification. - Michael Backes 001; Fabian Bendun; Dominique Unruh (IACR Cryptol. ePrint Arch., 2012)

Asynchronous MPC with t<n/2 Using Non-equivocation. - Michael Backes 001; Fabian Bendun; Ashish Choudhury; Aniket Kate (IACR Cryptol. ePrint Arch., 2013)

Asynchronous MPC with a strict honest majority using non-equivocation. - Michael Backes 001; Fabian Bendun; Ashish Choudhury; Aniket Kate (PODC, 2014)

Symbolic Malleable Zero-Knowledge Proofs. - Michael Backes 001; Fabian Bendun; Matteo Maffei; Esfandiar Mohammadi; Kim Pecina (CSF, 2015)

PriCL: Creating a Precedent, a Framework for Reasoning about Privacy Case Law. - Michael Backes 001; Fabian Bendun; Jörg Hoffmann 001; Ninja Marnau (POST, 2015)

Oblivion: Mitigating Privacy Leaks by Controlling the Discoverability of Online Information. - Milivoj Simeonovski; Fabian Bendun; Muhammad Rizwan Asghar; Michael Backes 001; Ninja Marnau; Peter Druschel (IACR Cryptol. ePrint Arch., 2015)

A Formal Logic Framework for the Automation of the Right to Be Forgotten. - Abhishek Tiwari 001; Fabian Bendun; Christian Hammer 001 (SecureComm (1), 2018)

Privacy enhancing technologies: protocol verification, implementation and specification. - Fabian Bendun (2020)