@phdthesis{Gawron2019, author = {Marian Gawron}, title = {Towards automated advanced vulnerability analysis}, type = {doctoralthesis}, pages = {149}, school = {Universit{\"a}t Potsdam}, doi = {10.25932/publishup-42635}, year = {2019}, }