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 …

While the application of IoT in smart technologies becomes more and more proliferated, the
pandemonium of its protocols becomes increasingly confusing. More seriously, severe …

This paper explains various security issues in the existing home automation systems and
proposes the use of logic-based security algorithms to improve home security. This paper …

Abstract IoT (Internet of Things) devices are extensively used in security-critical services, as
for example home door opening, gas monitoring, alarm systems, etc. Often, they use …

Abstract The Internet of Things (IoT) will connect not only computers and mobile devices, but
also smart cities, buildings, and homes, as well as electrical grids, gas, and water networks …

LoRa, which is considered as an appealing wireless technique for Low-Power Wide-Area
Networks (LPWANs), has found wide applications in fields such as smart cities, intelligent …

Cities are rapidly converging toward digital technologies in order to provide advanced
information services, efficient management, and resource utilization that will positively …

Nowadays, IoT (Internet of Things) devices are becoming part of our daily life. Unfortunately,
many of them do not use standardized communication protocols with a provable security …

Smart Building (SB) exploits advances in information and communication technologies in
order to provide the next generation of information and automation services that will …

Advanced networking technology and increasing information services have led to extensive
interconnection between Building Automation Systems (BAS) communication protocols and …