Byeong Kang

发表

Towards a Formal Modelling, Analysis, and Verification of a Clone Node Attack Detection Scheme in the Internet of Things pdf

Muhammad Bilal Amin, Saurabh Garg, Khizar Hameed, 2021, Comput. Networks.

A Taxonomy Study on Securing Blockchain-based Industrial Applications: An Overview, Application Perspectives, Requirements, Attacks, Countermeasures, and Open Issues pdf

Muhammad Bilal Amin, Mutaz Barika, Khizar Hameed, 2021, J. Ind. Inf. Integr..

A formally verified blockchain-based decentralised authentication scheme for the internet of things

Muhammad Bilal Amin, Saurabh Garg, Khizar Hameed, 2021, The Journal of Supercomputing.

SDP: Scalable Real-Time Dynamic Graph Partitioner pdf

Sudheer Kumar Battula, Saurabh Garg, Md Anwarul Kaium Patwary, 2021, IEEE Transactions on Services Computing.