Fabian Bendun

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