Security Analysis of Smartphone Point-of-Sale Systems. - WesLee Frisby; Benjamin Moench; Benjamin Recht; Thomas Ristenpart (WOOT, 2012)

FIE on Firmware: Finding Vulnerabilities in Embedded Systems Using Symbolic Execution. - Drew Davidson; Benjamin Moench; Thomas Ristenpart; Somesh Jha (USENIX Security Symposium, 2013)