A tool for IoT Firmware Certification. - Giuseppe Marco Bianco; Luca Ardito; Michele Valsesia (ARES, 2024)