Thwarting Themida: Unpacking Malware with SMT Solvers SMT Solvers for Malware Unpacking 8 July 2013 Authors and thanks 2 Ian Blumenfeld Roberta Faux Paul Li Work overseen…