@Misc{ cremer:test, author = {Manuel Cremer}, title = {Test Cases for Detecting the Lucky 13 Vulnerability with SPASCA}, institution = {TU Darmstadt}, year = 2017, howpublished = {Bachelor's thesis, TU Darmstadt} }