Fabian Bendun
M.Sc. | Researcher


  • Information Security and Cryptography
  • Building E9 1, Room 3.17
  • +49 681 302 57370
  • fabian.bendun(aeht)cispa.saarland
  • Personal Webpage

Curriculum Vitae

I started studying computer science during school time as a so-called Juniorstudent. Consequently, I started studying CS in october 2008 at Saarland University. I handed in my bachelor's thesis in april 2010 and finished my bachelor studies with the FdSI-Bachelor's prize. Through the Graduate School of CS, I became a PhD student. My supervisor is Prof. Michael Backes.

Projects

CaseLaw

For checking compliance with privacy regulations, the respective laws have to be represented in a computer-readable form. Classically, this is done by modeling laws as logical formulas and verifying whether a predicate is logically entailed.

This is in contrast to the juristical judgement of compliance, where it is common to judge on precedents. In this project we formalize case-law and use this formalization to learn in which contexts a given predicate is satisfiable.

Publications

2015

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

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

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

2014

Asynchronous MPC with a Strict Honest Majority Using Non-equivocation

2013

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

2012

Brief announcement: distributed cryptography using trinc