Fabian Bendun

Oblivion: Mitigating Privacy Leaks by Controlling the Discoverability of Online Information pdf

Peter Druschel, Michael Backes, Muhammad Rizwan Asghar, 2015, ACNS.

Asynchronous MPC with t

Ashish Choudhury, Aniket Kate, Michael Backes, 2013, IACR Cryptol. ePrint Arch..

PriCL: Creating a Precedent, a Framework for Reasoning about Privacy Case Law

Jörg Hoffmann, Michael Backes, Fabian Bendun, 2015, POST.

Privacy enhancing technologies: protocol verification, implementation and specification

Fabian Bendun, 2020 .

Symbolic Malleable Zero-Knowledge Proofs

Michael Backes, Matteo Maffei, Esfandiar Mohammadi, 2015, 2015 IEEE 28th Computer Security Foundations Symposium.

A Formal Logic Framework for the Automation of the Right to Be Forgotten

Abhishek Tiwari, Christian Hammer, Fabian Bendun, 2018, SecureComm.

Asynchronous MPC with a strict honest majority using non-equivocation

Ashish Choudhury, Aniket Kate, Michael Backes, 2014, PODC '14.

Brief announcement: distributed cryptography using trinc

Aniket Kate, Michael Backes, Fabian Bendun, 2012, PODC '12.

Computational Soundness of Symbolic Zero-knowledge Proofs: Weaker Assumptions and Mechanized Verification

Michael Backes, Dominique Unruh, Fabian Bendun, 2013, IACR Cryptol. ePrint Arch..