Automatic Detection and Patching of Vulnerabilities in Embeded Systems Principal Investigator: Arun LakhotiaSponsor: DARPAAmount Awarded: $44,852Grant Period: 5/9/2013 - 11/9/2013