BINARM: Scalable and Efficient Detection of Vulnerabilities in Firmware Images of Intelligent Electronic Devices. - Paria Shirani; Leo Collard; Basile L. Agba; Bernard Lebel; Mourad Debbabi; Lingyu Wang 001; Aiman Hanna (DIMVA, 2018)