@doctoralThesis{Skoruppa_2017,
title={Automated Security Analysis of Web Application Technologies},
author={Skoruppa, Malte Horst Arthur},
doi={http://dx.doi.org/10.22028/D291-26972},
year={2017}
}