FirmUp: Precise Static Detection of Common Vulnerabilities in Firmware

Published in ASPLOS, 2018

[Paper] [Slides]