[HTML][HTML] A survey on formal verification and validation techniques for internet of things

M Krichen - Applied Sciences, 2023 - mdpi.com
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 …

[HTML][HTML] Digital post-disaster risk management twinning: A review and improved conceptual framework

U Lagap, S Ghaffarian - International Journal of Disaster Risk Reduction, 2024 - Elsevier
Digital Twins (DT) is the real-time virtual representation of systems, communities, cities, or
even human beings with the substantial potential to revolutionize post-disaster risk …

A survey on key management and authentication approaches in smart metering systems

MS Abdalzaher, MM Fouda, A Emran, ZM Fadlullah… - Energies, 2023 - mdpi.com
The implementation of the smart grid (SG) and cyber-physical systems (CPS) greatly
enhances the safety, reliability, and efficiency of energy production and distribution. Smart …

Performance enhancement of artificial intelligence: A survey

M Krichen, MS Abdalzaher - Journal of Network and Computer Applications, 2024 - Elsevier
The advent of machine learning (ML) and Artificial intelligence (AI) has brought about a
significant transformation across multiple industries, as it has facilitated the automation of …

Distributed intelligence for IoT-based smart cities: a survey

IA Hashem, A Siddiqa, FA Alaba, M Bilal… - Neural Computing and …, 2024 - Springer
The remarkable miniaturization of Internet of Things (IoT)-based systems and the rise of
distributed intelligence are promising research paradigms in the design of smart cities. IoT …

Optimizing smart home intrusion detection with harmony-enhanced extra trees

A Abdusalomov, D Kilichev, R Nasimov… - IEEE …, 2024 - ieeexplore.ieee.org
In this study, we present an innovative network intrusion detection system (IDS) tailored for
Internet of Things (IoT)-based smart home environments, offering a novel deployment …

Using deep learning for rapid earthquake parameter estimation in single-station single-component earthquake early warning system

MS Abdalzaher, MS Soliman… - IEEE Transactions on …, 2024 - ieeexplore.ieee.org
Earthquake early warning systems (EEWSs) often rely on fast determination of earthquake
source parameters, namely, location, magnitude, and depth. In areas where the seismic …

Machine Learning-Assisted Intrusion Detection for Enhancing Internet of Things Security

M Esmaeili, M Rahimi, H Pishdast… - arxiv preprint arxiv …, 2024 - arxiv.org
Attacks against the Internet of Things (IoT) are rising as devices, applications, and
interactions become more networked and integrated. The increase in cyber-attacks that …

User-Centric Security and Privacy Threats in Connected Vehicles: A Threat Modeling Analysis Using STRIDE and LINDDUN

B Stingelová, CT Thrakl, L Wrońska… - 2023 IEEE Intl Conf …, 2023 - ieeexplore.ieee.org
The increasing equipment of cars with smart systems and their networking with other
devices is leading to a growing network of connected vehicles. Connected cars are Internet …

Hybrid optimization algorithm for detection of security attacks in IoT-enabled cyber-physical systems

A Sagu, NS Gill, P Gulia, I Priyadarshini… - … Transactions on Big …, 2024 - ieeexplore.ieee.org
The Internet of Things (IoT) is being prominently used in smart cities and a wide range of
applications in society. The benefits of IoT are evident, but cyber terrorism and security …