Formal Modeling and Verification of a Blockchain-Based Crowdsourcing Consensus Protocol[J] IEEE ACCESS 2022(10) Afzaal, Hamra Imran, Muhammad Janjua, Muhammad Umar Gochhayat, Sarada Prasad
Measuring Decentrality in Blockchain Based Systems[J] IEEE ACCESS 2020(8) Gochhayat, Sarada Prasad Shetty, Sachin Mukkamala, Ravi Foytik, Peter Kamhoua, Georges A. Njilla, Laurent
