Fabian Bendun

According to our database, Fabian Bendun authored at least 9 papers between 2012 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Privacy enhancing technologies: protocol verification, implementation and specification.

Fabian Bendun

PhD thesis, 2020

2018

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

Abhishek Tiwari, Fabian Bendun, Christian Hammer

Proceedings of the Security and Privacy in Communication Networks, 2018

2015

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

Milivoj Simeonovski, Fabian Bendun, Muhammad Rizwan Asghar, Michael Backes, Ninja Marnau, Peter Druschel

IACR Cryptol. ePrint Arch., 2015

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

Michael Backes, Fabian Bendun, Jörg Hoffmann, Ninja Marnau

Proceedings of the Principles of Security and Trust - 4th International Conference, 2015

Symbolic Malleable Zero-Knowledge Proofs.

Michael Backes, Fabian Bendun, Matteo Maffei, Esfandiar Mohammadi, Kim Pecina

Proceedings of the IEEE 28th Computer Security Foundations Symposium, 2015

2014

Asynchronous MPC with a strict honest majority using non-equivocation.

Michael Backes, Fabian Bendun, Ashish Choudhury, Aniket Kate

Proceedings of the ACM Symposium on Principles of Distributed Computing, 2014

2013

Asynchronous MPC with t<n/2 Using Non-equivocation.

Michael Backes, Fabian Bendun, Ashish Choudhury, Aniket Kate

IACR Cryptol. ePrint Arch., 2013

2012

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

Michael Backes, Fabian Bendun, Dominique Unruh

IACR Cryptol. ePrint Arch., 2012

Brief announcement: distributed cryptography using trinc.

Michael Backes, Fabian Bendun, Aniket Kate

Proceedings of the ACM Symposium on Principles of Distributed Computing, 2012