A State-of-the-Art Survey on Formal Verification of the Internet of Things Applications

FairAccess: a new Blockchain‐based access control framework for the Internet of Things

Aafaf Ouaddah, Anas Abou Elkalam, Abdellah Ait Ouahman · Security and Communication Networks · 2016 · 677 citations

Computing, Computer Science, Computer Systems +17

A lightweight biometrics based remote user authentication scheme for IoT services

Parwinder Kaur Dhillon, Sheetal Kalra · Journal of Information Security and Applications · 2017 · 152 citations

Computing, Computer Science, Cybersecurity +16

Secure multi‐factor remote user authentication scheme for Internet of Things environments

Parwinder Kaur Dhillon, Sheetal Kalra · International Journal of Communication Systems · 2017 · 99 citations

Computing, Computer Science, Cybersecurity +17

A moth‐flame optimization algorithm for web service composition in cloud computing: Simulation and verification

Mostafa Ghobaei‐Arani, Ali Rahmanian, Alireza Souri et al. · Software Practice and Experience · 2018 · 80 citations · Full text

Computing, Cloud Computing, Computer Science +13

Design and Verification of an NDN-Based Safety-Critical Application: A Case Study With Smart Healthcare

Divya Saxena, Vaskar Raychoudhury · IEEE Transactions on Systems Man and Cybernetics Systems · 2017 · 73 citations

Computing, Computer Systems, Health Informatics +17