@Misc{ kolosovs:soundly, author = {Roberts Kolosovs}, title = {Soundly Extending the Scope of a Security Analysis for Java by Program Rewriting}, institution = {TU Darmstadt}, month = {February}, year = 2015, howpublished = {Bachelor's thesis, TU Darmstadt} }