Finding Vulnerabilities in Embedded Systems Using Symbolic Executionpages.cs.wisc.edu1 pointneur0mancer12 years ago