| A hierarchical and abstraction-based blockchain model S Sahoo, AM Fajge, R Halder, A Cortesi Applied Sciences 9 (11), 2343, 2019 | 42 | 2019 |
| Formal verification and code generation for solidity smart contracts NK Singh, AM Fajge, R Halder, MI Alam Distributed Computing to Blockchain, 125-144, 2023 | 9 | 2023 |
| Wait or Reset Gas Price?: A Machine Learning-based Prediction Model for Ethereum Transactions' Waiting Time AM Fajge, S Goswami, A Srivastava, R Halder 2021 IEEE 20th international conference on trust, security and privacy in …, 2021 | 6 | 2021 |
| An automated framework for migrating java applications to ethereum solidity applications AM Fajge, S Thakur, R Kumar, R Halder 2021 3rd Conference on Blockchain Research & Applications for Innovative …, 2021 | 6 | 2021 |
| A novel approach for signing multiple messages: Hash-based signature AM Fajge, SS Hatkar International Journal of Information & Computation Technology 4, 15, 2014 | 2 | 2014 |
| Near-Pruned single assignment transformation of programs AM Fajge, R Halder Journal of Computer Languages, 101324, 2025 | | 2025 |
| Analyzing information flow in solidity smart contracts R Halder, MI Alam, AM Fajge, NK Singh, A Cortesi Distributed Computing to Blockchain, 105-123, 2023 | | 2023 |
| Effect of Quantum Computing on Cryptographic Techniques AM Fajge, SS Hatkar | | |