@MastersThesis{ toteva:advancing, author = {Iva Toteva}, title = {Advancing Tool Support for the Detection of Side-Channel Vulnerabilities in Java}, school = {TU Darmstadt}, type = {Master's Thesis}, year = 2016 }