An Internet of Things (IoT) system is a network of interconnected devices. These devices range from simple sensors or actuators with limited computational capabilities to devices with higher processing power. The behaviour of a device is driven by the firmware, software which interacts with the device's hardware and performs some actions. An example of an IoT system is the Smart Home, which is equipped with devices that enhance the quality of life of its inhabitants. The rapid growth of IoT systems comes with challenges such as security, standardisation and a lack of proper certification. Regarding IoT systems security, our research has mainly focused on firmware security.