Introduction of Formal Methods in Blockchain Consensus Mechanism and Its Associated Protocols. - Sudhani Verma; Divakar Yadav; Girish Chandra (IEEE Access, 2022)

LVCA: An efficient voting-based consensus algorithm in private Blockchain for enhancing data security. - Sudhani Verma; Girish Chandra; Divakar Yadav (Peer Peer Netw. Appl., 2025)