[rwth-security] EMBA - security analyzer for embedded device firmware