DAGGER: Exploiting Language Semantics for Program Security in Embedded Systems. - Garret Cunningham; Harsha Chenji; David Juedes; Gordon Stewart 001; Avinash Karanth (ISQED, 2023)