@doctoralThesis{Bendun_2020,
title={Privacy enhancing technologies : protocol verification, implementation and specification},
author={Bendun, Fabian},
doi={http://dx.doi.org/10.22028/D291-32270},
year={2020}
}