Fabian Bendun

Publication Activity (10 Years)

Years Active: 2012-2018
Publications (10 Years): 1

Top Topics

Private Information

Computational Chemistry

Intermediate Level

Top Venues

IACR Cryptol. ePrint Arch.

Publications

Abhishek Tiwari, Fabian Bendun, Christian Hammer
A Formal Logic Framework for the Automation of the Right to Be Forgotten. SecureComm (1) (2018)
Milivoj Simeonovski, Fabian Bendun, Muhammad Rizwan Asghar, Michael Backes, Ninja Marnau, Peter Druschel
Oblivion: Mitigating Privacy Leaks by Controlling the Discoverability of Online Information. CoRR (2015)
Michael Backes, Fabian Bendun, Jörg Hoffmann, Ninja Marnau
PriCL: Creating a Precedent A Framework for Reasoning about Privacy Case Law. CoRR (2015)
Milivoj Simeonovski, Fabian Bendun, Muhammad Rizwan Asghar, Michael Backes, Ninja Marnau, Peter Druschel
Oblivion: Mitigating Privacy Leaks by Controlling the Discoverability of Online Information. ACNS (2015)
Michael Backes, Fabian Bendun, Jörg Hoffmann, Ninja Marnau
PriCL: Creating a Precedent, a Framework for Reasoning about Privacy Case Law. POST (2015)
Milivoj Simeonovski, Fabian Bendun, Muhammad Rizwan Asghar, Michael Backes, Ninja Marnau, Peter Druschel
Oblivion: Mitigating Privacy Leaks by Controlling the Discoverability of Online Information. IACR Cryptol. ePrint Arch. 2015 (2015)
Michael Backes, Fabian Bendun, Matteo Maffei, Esfandiar Mohammadi, Kim Pecina
Symbolic Malleable Zero-Knowledge Proofs. CSF (2015)
Michael Backes, Fabian Bendun, Ashish Choudhury, Aniket Kate
Asynchronous MPC with a strict honest majority using non-equivocation. PODC (2014)
Michael Backes, Fabian Bendun, Dominique Unruh
Computational Soundness of Symbolic Zero-Knowledge Proofs: Weaker Assumptions and Mechanized Verification. POST (2013)
Michael Backes, Fabian Bendun, Ashish Choudhury, Aniket Kate
Asynchronous MPC with t<n/2 Using Non-equivocation. IACR Cryptol. ePrint Arch. 2013 (2013)
Michael Backes, Fabian Bendun, Aniket Kate
Brief announcement: distributed cryptography using trinc. PODC (2012)
Michael Backes, Fabian Bendun, Dominique Unruh
Computational Soundness of Symbolic Zero-knowledge Proofs: Weaker Assumptions and Mechanized Verification. IACR Cryptol. ePrint Arch. 2012 (2012)