@Misc{ earley:extending, author = {Timothy Earley}, title = {Extending the Language Coverage for Side-Channel FinderAVR}, institution = {TU Darmstadt}, year = 2018, howpublished = {Bachelor's thesis, TU Darmstadt} }