Authentication and Session Key Generation Protocols (SKGPs) play an essential role in
securing the communication channels of connected Internet of Things (IoT) devices …

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 …

Internet of Drones (IoD) is a decentralized network and management framework that links
drones' access to the controlled airspace and provides inter-location navigation services …

ProVerif is an automatic symbolic protocol verifier. It supports a wide range of cryptographic
primitives, defined by rewrite rules or by equations. It can prove various security properties …

Nowadays, wireless sensor networks (WSNs) are essential for monitoring and data
collection in many industrial environments. Industrial environments are usually huge. The …

This paper presents a major overhaul of one the most widely used symbolic security protocol
verifiers, ProVerif. We provide two main contributions. First, we extend ProVerif with lemmas …

The smart connected devices are the first choice of cybercriminals for spreading spy wares
and different security attacks. The current security standards and protocols for Internet of …

The Internet of Medical Things (IoMT) has revolutionized the world of healthcare by remotely
connecting patients to healthcare providers through medical devices connected over the …

Abstract Unmanned Aerial Vehicles (UAVs), also called drones, are used for various
applications with two basic classifications: civilian and military drones. Civilian drones are …

The notion of fog-based vehicular ad-hoc network has been introduced by the integration of
fog-based computing paradigm into the conventional vehicular ad-hoc networks. This …