DAGGER: Exploiting Language Semantics for Program Security in Embedded Systems | IEEE Conference Publication | IEEE Xplore