Quick Links

CUI Home Research Portal Scholarships Portal Photo Gallery CUI Blogs CUI Job Portal Open Access Journals CUI Thesis Repository CUI Conference & Workshops CUI Union Catalogue

Research Paper Detail

Formal verification of persistence and liveness in the trust-based blockchain crowdsourcing consensus protocol

Publisher: Elsevier
Publication Year: 2022

First Author:  Hamra Afzaal Second Author:  Muhammad Imran
Third Author:  Muhammad Umar Janjua Volume:  192
Publication #:  Page #: 
Level:   International Type:  Journal
Email:  hamraafzaal@cuisahiwal.edu.pk
Hamra Afzaal

Assistant Professor
Computer Science Department
Sahiwal Campus

Profile.. Publications..


Contact Us
Tel: +92-51-9247000-9247002 and 9049802
UAN: +92-51-111-001-007
Reach Us at
Park Road, Tarlai Kalan,
Islamabad 45550, Pakistan


Powered by: ITCentre