@doctoralThesis{Eigner_2015,
title={A theory of types for security and privacy},
author={Eigner, Fabienne Sophie},
doi={http://dx.doi.org/10.22028/D291-26965},
year={2015}
}