@MastersThesis{ schickel:towards, author = {Johannes Schickel}, title = {Towards Automatic Construction of Timing Attacks against Software}, school = {TU Darmstadt}, type = {Bachelor Thesis}, year = 2013 }