The Internet of Things (IoT) has brought about a new era of connected devices and systems,
with applications ranging from healthcare to transportation. However, the reliability and …

In many countries, water quality monitoring is limited due to the high cost of logistics and
professional equipment such as multiparametric probes. However, low-cost sensors …

Formal Verification is one of the crucial methods to detect possible weaknesses and
vulnerabilities at an early stage. This paper reviews formal methods for an extensive variety …

IoT has seen remarkable growth, particularly in healthcare, leading to the rise of IoMT. IoMT
integrates medical devices for real-time data analysis and transmission but faces challenges …

IoT devices are more important than ever. In a connected world, IoT devices have many
uses. They are no longer merely used at work; they are part of our everyday lives. Security …

Smart Grids (SGs) represent electrical power systems that incorporate increased information
processing and efficient technological solutions. The integration of local prosumers, demand …

IoT firmware oftentimes incorporates third-party components, such as network-oriented
middleware and media encoders/decoders. These components consist of large and mature …

This paper provides an overview of the application of formal methods for two most commonly
used application layer protocols in IoT domain, MQTT and CoAP. Formal methods give the …

With the expansion of the digital world, the number of Internet of things (IoT) devices is
evolving dramatically. IoT devices have limited computational power and a small memory …

The application of fog Internet of Things (IoT) technology helps solve the problem of weak
computing power faced by IoT terminals. Due to asymmetric differences in communication …