Smart grid metering networks: A survey on security, privacy and open research issues
Smart grid (SG) networks are newly upgraded networks of connected objects that greatly
improve reliability, efficiency, and sustainability of the traditional energy infrastructure. In this …
improve reliability, efficiency, and sustainability of the traditional energy infrastructure. In this …
Survey on the authentication and key agreement of 6LoWPAN: Open issues and future direction
The advent of the Internet of Things (IoT) technology and the term “connect everything to
everything” bring up a new standard for IPv6 over Low-power Wireless Personal Area …
everything” bring up a new standard for IPv6 over Low-power Wireless Personal Area …
Modeling and verifying security protocols with the applied pi calculus and ProVerif
B Blanchet - Foundations and Trends® in Privacy and …, 2016 - nowpublishers.com
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 …
primitives, defined by rewrite rules or by equations. It can prove various security properties …
Mutual authentication in IoT systems using physical unclonable functions
The Internet of Things (IoT) represents a great opportunity to connect people, information,
and things, which will in turn cause a paradigm shift in the way we work, interact, and think …
and things, which will in turn cause a paradigm shift in the way we work, interact, and think …
A secure authenticated and key exchange scheme for fog computing
Fog computing architecture is used in various environments such as smart manufacturing,
vehicular ad hoc networks. However, as an extension of cloud computing, inheriting security …
vehicular ad hoc networks. However, as an extension of cloud computing, inheriting security …
A mutual security authentication method for RFID-PUF circuit based on deep learning
The Industrial Internet of Things (IIoT) is designed to refine and optimize the process
controls, thereby leveraging improvements in economic benefits, such as efficiency and …
controls, thereby leveraging improvements in economic benefits, such as efficiency and …
A privacy-preserving and scalable authentication protocol for the internet of vehicles
One of the most important and critical requirements for the Internet of Vehicles (IoV) is
security under strict latency. Typically, authentication protocols for vehicular ad hoc networks …
security under strict latency. Typically, authentication protocols for vehicular ad hoc networks …
LACO: Lightweight three-factor authentication, access control and ownership transfer scheme for e-health systems in IoT
The use of the Internet of Things (IoT) in the electronic health (e-health) management
systems brings with it many challenges, including secure communications through insecure …
systems brings with it many challenges, including secure communications through insecure …
Design and analysis of lightweight authentication protocol for securing IoD
The Internet-of-drones (IoD) environment is a layered network control architecture designed
to maintain, coordinate, access, and control drones (or Unmanned Aerial vehicles UAVs) …
to maintain, coordinate, access, and control drones (or Unmanned Aerial vehicles UAVs) …
Towards formal verification of IoT protocols: A Review
K Hofer-Schmitz, B Stojanović - Computer Networks, 2020 - Elsevier
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 …
vulnerabilities at an early stage. This paper reviews formal methods for an extensive variety …