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 Internet of Things (IoT) represents a growing aspect of how entities, including humans
and organizations, are likely to connect with others in their public and private interactions …

The CyBOK project would like to understand how the CyBOK is being used and its uptake.
The project would like organisations using, or intending to use, CyBOK for the purposes of …

Formal security analysis has proven to be a useful tool for tracking modifications in
communication protocols in an automated manner, where full security analysis of revisions …

Popular consumer Internet of Things (IoT) devices provide increasingly diverse sensing and
actuation capabilities. Despite their benefits, such devices prompt numerous security …

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 …

The Internet of Things (IoT) is an emerging paradigm and has penetrated deeply into our
daily life. Due to the seamless connections of the IoT devices with the physical world through …

The identity authentication protocols for devices in Internet of Electric Things (IOET)
applications fall under stringent security, privacy protection, and resource consumption …

The installed base of Internet of Things (IoT) consumer products is steadily increasing, in
conjunction with the number of disclosed security vulnerabilities in these devices. In this …

Abstract The Internet of Things (IoT) is an emerging paradigm, where the ubiquitous devices
can form the networks and connect to Internet. Security and management of devices remain …