EMBA The security analyzer for embedded device firmware EMBA is designed as ...