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 Modeling and Verification of Justification and Finalization of Checkpoints in Ethereum 2.0 Beacon Chain

Publisher: IEEE
Publication Year: 2024

First Author:  Muhammad Rashid Second Author:  Nazir Ahmad Zafar
Third Author:  Hamra Afzaal Volume: 
Publication #:  Page #: 
Level:   International Type:  Conference
Email:  hamraafzaal@cuisahiwal.edu.pk
Hamra Afzaal

Lecturer
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