CEJVM: "Cluster Enabled Java Virtual Machine". - Muhammad Umar Janjua; Muhammad Mehboob Yasin; Ch. Falak Sher; K. Awan; I. Hassan (CLUSTER, 2002)

OnSpot system: test impact visibility during code edits in real software. - Muhammad Umar Janjua (ESEC/SIGSOFT FSE, 2015)

Sol2js: Translating Solidity Contracts into Javascript for Hyperledger Fabric. - Muhammad Ahmad Zafar; Falak Sher; Muhammad Umar Janjua; Salman Baset (SERIAL@Middleware, 2018)

Wealth Distribution and Link Predictability in Ethereum. - Zeeshan Muzammal; Muhammad Umar Janjua; Waseem Abbas; Falak Sher (WI (Companion), 2019)

Using Blockchain to Rein in the New Post-Truth World and Check the Spread of Fake News. - Adnan Qayyum; Junaid Qadir 001; Muhammad Umar Janjua; Falak Sher (IT Prof., 2019)

LoRaDRL: Deep Reinforcement Learning Based Adaptive PHY Layer Transmission Parameters Selection for LoRaWAN. - Inaam Ilahi; Muhammad Usama; Muhammad Omer Farooq; Muhammad Umar Janjua; Junaid Qadir 001 (LCN, 2020)

Intelligent Resource Allocation in Dense LoRa Networks using Deep Reinforcement Learning. - Inaam Ilahi; Muhammad Usama; Muhammad Omer Farooq; Muhammad Umar Janjua; Junaid Qadir 001 (CoRR, 2020)

EthReview: An Ethereum-based Product Review System for Mitigating Rating Frauds. - Maryam Zulfiqar; Filza Tariq; Muhammad Umar Janjua; Adnan Noor Mian; Adnan Qayyum; Junaid Qadir 001; Falak Sher; Muhammad Hassan 001 (Comput. Secur., 2021)

Detailed analysis of Ethereum network on transaction behavior, community structure and link prediction. - Anwar Said; Muhammad Umar Janjua; Saeed-Ul Hassan; Zeeshan Muzammal; Tania Saleem; Tipajin Thaipisutikul; Suppawong Tuarob; Raheel Nawaz (PeerJ Comput. Sci., 2021)

Formal Modeling and Verification of a Blockchain-Based Crowdsourcing Consensus Protocol. - Hamra Afzaal; Muhammad Imran 001; Muhammad Umar Janjua; Sarada Prasad Gochhayat (IEEE Access, 2022)

ProofChain: An X.509-compatible blockchain-based PKI framework with decentralized trust. - Tania Saleem; Muhammad Umar Janjua; Muhammad Hassan 001; Talha Ahmad; Filza Tariq; Khadija Hafeez; Muhammad Ahsan Salal; Muhammad Danish Bilal (Comput. Networks, 2022)

Formal verification of persistence and liveness in the trust-based blockchain crowdsourcing consensus protocol. - Hamra Afzaal; Muhammad Imran 001; Muhammad Umar Janjua (Comput. Commun., 2022)

Making federated learning robust to adversarial attacks by learning data and model association. - Adnan Qayyum; Muhammad Umar Janjua; Junaid Qadir 001 (Comput. Secur., 2022)

Assessment of Sustainable Funding Impact by Exploiting Research Performance Indicators and Semantic Techniques. - Muhammad Umar Janjua; Saeed-Ul Hassan (CoRR, 2022)

Tracking adoption of revocation and cryptographic features in X.509 certificates. - Maryam Zulfiqar; Muhammad Umar Janjua; Muhammad Hassan 001; Talha Ahmad; Tania Saleem; Jack W. Stokes (Int. J. Inf. Sec., 2022)

Challenges and Countermeasures for Adversarial Attacks on Deep Reinforcement Learning. - Inaam Ilahi; Muhammad Usama; Junaid Qadir 001; Muhammad Umar Janjua; Ala I. Al-Fuqaha; Dinh Thai Hoang; Dusit Niyato (IEEE Trans. Artif. Intell., 2022)

Formal verification of fraud-resilience in a crowdsourcing consensus protocol. - Hamra Afzaal; Muhammad Imran 001; Muhammad Umar Janjua (Comput. Secur., 2023)

Storage State Analysis and Extraction of Ethereum Blockchain Smart Contracts. - Maha Ayub; Tania Saleem; Muhammad Umar Janjua; Talha Ahmad (ACM Trans. Softw. Eng. Methodol., 2023)

Predicting functional roles of Ethereum blockchain addresses. - Tania Saleem; Muhammad Ismaeel; Muhammad Umar Janjua; Abdulrahman Ali; Awab Aqib; Ali Ahmed; Saeed-Ul Hassan (Peer Peer Netw. Appl., 2023)

Secure Storage of Crypto Wallet Seed Phrase Using ECC and Splitting Technique. - Syeda Tayyaba Bukhari; Muhammad Umar Janjua; Junaid Qadir 001 (IEEE Open J. Comput. Soc., 2024)

Sound analysis and migration of data from Ethereum smart contracts. - Maha Ayub; Muhammad Waiz Khan; Muhammad Umar Janjua (Autom. Softw. Eng., 2024)

A compliance-based ranking of certificate authorities using probabilistic approaches. - Kashif Junaid; Muhammad Umar Janjua; Junaid Qadir 001 (Int. J. Inf. Sec., 2024)

Short Paper: SlotCollider - Detecting Storage Slot Collisions in Ethereum Smart Contracts. - Muhammad Umar Janjua; Abeeha Fatima; Muhammad Waiz Khan; Muhammad Danish Bilal; Talha Ahmad; Maha Ayub (CVCBT, 2025)

Analyzing shared keys in X.509 certificates with domain ownership. - Kashif Junaid; Muhammad Umar Janjua (Int. J. Inf. Sec., 2025)