On the public citation graph

Formal verification of security properties of the Lightweight Authentication and Key Exchange Protocol for Federated IoT devices

https://doi.org/10.15439/2022f169

0 signed · 28 inferred · view as graph

Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.

Is this your work? Sign in with ORCID and put your name on the claims that are yours.

Claim with ORCID

Reference health. See whether every reference in this work resolves to a known work and none has been retracted — and get a dated CiteStamped badge you can embed.

See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1002/cpe.5777openalex-snapshot

Multidomain security authentication for the Internet of things

inferredcites →https://doi.org/10.1007/11513988_27openalex-snapshot

The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications

inferredcites →https://doi.org/10.1007/3-540-44647-8_19openalex-snapshot

The Order of Encryption and Authentication for Protecting Communications (or: How Secure Is SSL?)

inferredcites →https://doi.org/10.1007/978-3-642-28641-4_2openalex-snapshot

Security Protocol Verification: Symbolic and Computational Models

inferredcites →https://doi.org/10.1007/s10586-020-03058-6openalex-snapshot

A decentralized lightweight blockchain-based authentication mechanism for IoT systems

inferredcites →https://doi.org/10.1007/s11227-020-03561-yopenalex-snapshot

A secure blockchain-based group key agreement protocol for IoT

inferredcites →https://doi.org/10.1007/s40860-020-00098-yopenalex-snapshot

A secure mutual authentication protocol for IoT environment

inferredcites →https://doi.org/10.1016/j.adhoc.2020.102253openalex-snapshot

FLAT: Federated lightweight authentication for the Internet of Things

inferredcites →https://doi.org/10.1016/j.comnet.2020.107233openalex-snapshot

Towards formal verification of IoT protocols: A Review

inferredcites →https://doi.org/10.1016/j.jisa.2019.02.003openalex-snapshot

Secure mutual authentication and automated access control for IoT smart home using cumulative Keyed-hash chain

inferredcites →https://doi.org/10.1016/j.jnca.2020.102812openalex-snapshot

Master-slave chain based trusted cross-domain authentication mechanism in IoT

inferredcites →https://doi.org/10.1109/mitp.2017.3051335openalex-snapshot

Can Blockchain Strengthen the Internet of Things?

inferredcites →https://doi.org/10.1109/tit.1983.1056650openalex-snapshot

On the security of public key protocols

inferredcites →https://doi.org/10.1145/3157831.3157835openalex-snapshot

Symbolically analyzing security protocols using tamarin

inferredcites →https://doi.org/10.17487/rfc7228openalex-snapshot

Terminology for Constrained-Node Networks

inferredcites →https://doi.org/10.17487/rfc7252openalex-snapshot

The Constrained Application Protocol (CoAP)

inferredcites →https://doi.org/10.17487/rfc8949openalex-snapshot

Concise Binary Object Representation (CBOR)

inferredcites →https://doi.org/10.3390/s19143208openalex-snapshot

Physical Unclonable Functions in the Internet of Things: State of the Art and Open Challenges

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1007/978-981-97-8801-9_9openalex-snapshot

Formal Analysis of Julia Key Agreement Protocol

inferred← citeshttps://doi.org/10.1007/s10586-024-04700-3openalex-snapshot

A Robust Mutual Authentication Scheme for Health-Focused Connected Intelligent Objects

inferred← citeshttps://doi.org/10.1049/smc2.70028openalex-snapshot

An Energy‐Conscious, Regulation‐Ready and Formally Verified Security Protocol for Low‐Power Medical and Safety Devices

inferred← citeshttps://doi.org/10.1109/cncit65643.2025.11282811openalex-snapshot

DDCA: A Data-Driven Context-aware Formal Verification Framework for IoT Systems

inferred← citeshttps://doi.org/10.1109/icimcis63449.2024.10957235openalex-snapshot

Formal Analysis of MPKE Protocol in Wireless Mesh Network Using ProVerif

inferred← citeshttps://doi.org/10.1109/icoict61617.2024.10698059openalex-snapshot

Complete Security Analysis on Event-Based Dynamic Protocol for Constrained IoT Device

inferred← citeshttps://doi.org/10.15439/2023f2385openalex-snapshot

Tackling Variable-length Sequences with High-cardinality Features in Cyber-attack Detection

inferred← citeshttps://doi.org/10.15439/2023f3882openalex-snapshot

An Experimental Framework for Secure and Reliable Data Streams Distribution in Federated IoT Environments

inferred← citeshttps://doi.org/10.15439/2023f695openalex-snapshot

Is Homomorphic Encryption Feasible for Smart Mobility?

inferred← citeshttps://doi.org/10.3390/jsan15020029openalex-snapshot

Model Checking in Federated Learning-Based Smart Advertising

Editorial review for independent work. ICSAC — the Institute for Complexity Science and Advanced Computing — runs a structured editorial panel for researchers publishing outside journals, and publishes on CiteStamp rails. Submission is free and goes through ORCID: icsacinstitute.org/submit.