Long-range (LoRa) technology is most widely used for enabling low-power wide area
networks (WANs) on unlicensed frequency bands. Despite its modest data rates, it provides …

Wireless Sensor Networks (WSNs) constitute one of the most promising third-millennium
technologies and have wide range of applications in our surrounding environment. The …

The Internet of Things (IoT) is rapidly becoming an integral component of the industrial
market in areas such as automation and analytics, giving rise to what is termed as the …

The popularity of Internet of Things (IoT) has resulted in increased deployments of Low
Power Wide Area (LPWA) technologies for both commercial and private services due to their …

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 …

The LoRaWAN technology, an example of low power wide area network, is considered a
possible IoT-derived solution for realizing private cellular (single-hop) communications in …

Abstract Unmanned Aerial Vehicle (UAV) has extensively been practiced in the military and
civilian surveillance systems that access sensitive data over the cellular networks. However …

Connectivity is the one word summary for Industry 4.0 revolution. The importance of Internet
of Things (IoT) and Industrial IoT (IIoT) have been increased dramatically with the rise of …

It is necessary to ensure safety in terms of health and accidents through the real-time
monitoring of the construction site environment and workers. This problem has become of …

Due to its pervasive nature, the Internet of Things (IoT) is demanding for Low Power Wide
Area Networks (LPWAN) since wirelessly connected devices need battery-efficient and long …