E-LIB Suche - Ergebnisse für: Halder, Raju

1

Investigating the impact of structural and temporal behavio..:

Ghosh, Medhasree ; Ghosh, Dyuti ; Halder, Raju.
Blockchain: Research and Applications. 4 (2023) 4 - p. 100153 , 2023

Link: https://doi.org/10.1016/..

2

Formal verification and code generation for solidity smart ..:

, In: Distributed Computing to Blockchain,

Singh, Neeraj Kumar ; Fajge, Akshay M. ; Halder, Raju. - p. 125-144 , 2023

Link: https://doi.org/10.1016/..

3

Analyzing information flow in solidity smart contracts:

, In: Distributed Computing to Blockchain,

Halder, Raju ; Alam, Md. Imran ; Fajge, Akshay M... - p. 105-123 , 2023

Link: https://doi.org/10.1016/..

4

Formal verification of the pub-sub blockchain interoperabil..:

Alam, Md Tauseef ; Halder, Raju ; Maiti, Abyayananda
Frontiers in Blockchain. 6 (2023) - p. , 2023

Link: https://doi.org/10.3389/..

5

HealthChain: A Blockchain-aided Federated Healthcare Manage..:

, In: 2023 IEEE International Conference on Blockchain and Cryptocurrency (ICBC),

Mukherjee, Arnab ; Halder, Raju ; Chandra, Joydeep. - p. 1-5 , 2023

Link: https://doi.org/10.1109/..

6

A Lightweight Deep Learning-based Weapon Detection Model fo..:

, In: Proceedings of the 2023 6th International Conference on Advances in Robotics,

Yadav, Rajeshwar ; Halder, Raju ; Thakur, Atul. - p. 1-6 , 2023

Link: https://dl.acm.org/doi/1..

7

Contributors:

, In: Distributed Computing to Blockchain,

Alam, Md. Imran ; Angeles, Enrico ; Balakrishnan, Arpita... - p. xiii-xiv , 2023

Link: https://doi.org/10.1016/..

8

BLRS: An Automated Land Records Management System Using Blo..:

, In: Applied Computing for Software and Smart Systems; Lecture Notes in Networks and Systems,

Sahoo, Swagatika ; Jha, Saksham ; Sarkar, Somenath. - p. 113-128 , 2023

Link: https://doi.org/10.1007/..

9

Contextual attribute‐based access control scheme for cloud ..:

Panda, Suryakanta ; Sahoo, Swagatika ; Halder, Raju.
Software: Practice and Experience. , 2023

Link: https://doi.org/10.1002/..

10

${\sf FedRLChain}$: Secure Federated Deep Reinforcement Lea..:

Chowdhury, Sujit ; Mukherjee, Arnab ; Halder, Raju
IEEE Transactions on Services Computing. 16 (2023) 6 - p. 3865-3878 , 2023

Link: https://doi.org/10.1109/..

11

An Automated Policy Verification and Enforcement Framework ..:

, In: 2023 IEEE International Conference on Blockchain and Cryptocurrency (ICBC),

Sahoo, Swagatika ; Halder, Raju ; Mondal, Samrat - p. 1-5 , 2023

Link: https://doi.org/10.1109/..

12

SmartMixModel: Machine Learning-based Vulnerability Detecti..:

, In: 2022 IEEE International Conference on Blockchain (Blockchain),

Shakya, Supriya ; Mukherjee, Arnab ; Halder, Raju.. - p. 37-44 , 2022

Link: https://doi.org/10.1109/..

13

Decentralized Insurance Subrogation Using Blockchain:

, In: Proceedings of the 2022 5th International Conference on Blockchain Technology and Applications,

Bhadra, Oindrila ; Sahoo, Swagatika ; Kumar, Chandra Mohan. - p. 1-9 , 2022

Link: https://dl.acm.org/doi/1..

14

Comparative Analysis of Relational Database Watermarking Te..:

Rani, Sapana ; Halder, Raju
IEEE Access. 10 (2022) - p. 27970-27989 , 2022

Link: https://doi.org/10.1109/..

15

AgroBLF: blockchain-based framework for smart agriculture:

Bhadra, Oindrila ; Sahoo, Swagatika ; Halder, Raju.
Innovations in Systems and Software Engineering. , 2022

Link: https://doi.org/10.1007/..