@MastersThesis{ dewald:establishing, author = {Florian Dewald}, title = { Establishing Trust in a Timing-Sensitive Information-Flow Analysis for AVR Assembly Programs}, school = {TU Darmstadt}, type = {Studienarbeit}, year = 2017 }