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

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

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

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

Proceedings of the Applied Cryptography and Network Security, 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

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

Michael Backes, Fabian Bendun, Dominique Unruh

Proceedings of the Principles of Security and Trust - Second International Conference, 2013

2012

Brief announcement: distributed cryptography using trinc.

Michael Backes, Fabian Bendun, Aniket Kate

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