Follow
Fabian Bendun
Title
Cited by
Cited by
Year
Asynchronous MPC with a strict honest majority using non-equivocation
M Backes, F Bendun, A Choudhury, A Kate
Proceedings of the 2014 ACM symposium on Principles of distributed computing …, 2014
302014
Computational soundness of symbolic zero-knowledge proofs: weaker assumptions and mechanized verification
M Backes, F Bendun, D Unruh
Principles of Security and Trust, 206-225, 2013
202013
Symbolic Malleable Zero-Knowledge Proofs
M Backes, F Bendun, M Maffei, E Mohammadi, K Pecina
Computer Security Foundations Symposium (CSF), 2015 IEEE 28th, 412-426, 2015
142015
A Computationally Sound, Symbolic Abstraction for Malleable Zero-knowledge Proofs
M Backes, F Bendun, M Maffei, E Mohammadi
h ttp://www. infsec. cs. uni-saarland. de/∼ mohammadi/paper/symbolic tzk. pdf, 2013
14*2013
Asynchronous MPC with t< n/2 Using Non-equivocation
M Backes, F Bendun, A Choudhury, A Kate
Cryptology ePrint Archive, Report 2013/745, 2013
102013
Brief announcement: distributed cryptography using trinc
M Backes, F Bendun, A Kate
Proceedings of the 2012 ACM symposium on Principles of distributed computing …, 2012
102012
Towards Composable Computational Soundness for Signatures and Zero-Knowledge Proofs
M Backes, F Bendun, E Mohammadi
7th Workshop on Formal and Computational Cryptography (FCC), Cambridge, MA, 2012
102012
Oblivion: Mitigating Privacy Leaks by Controlling the Discoverability of Online Information
M Simeonovski, F Bendun, MR Asghar, M Backes, N Marnau, P Druschel
arXiv preprint arXiv:1506.06033, 2015
92015
PriCL: Creating a Precedent, a Framework for Reasoning about Privacy Case Law
M Backes, F Bendun, J Hoffmann, N Marnau
Principles of Security and Trust, 344-363, 2015
62015
Poster: Forcing the Cloud to Forget by Attesting Data Deletion
M Backes, F Bendun
The system can't perform the operation now. Try again later.
Articles 1–10