| Title | Formal Modeling and Verification of Justification and Finalization of Checkpoints in Ethereum 2.0 Beacon Chain |
| Type | Conference |
| Publisher | IEEE |
| Publication Year | 2024 |
| First Author | Muhammad Rashid |
| Second Author | Nazir Ahmad Zafar |
| Third Author | Hamra Afzaal |
| Publication Level | International |
| Volume | |
| Publication # | |
| Page # | |
| Submitted by | Hamra Afzaal |
| Department | Computer Science |
| Email |
hamraafzaal@cuisahiwal.edu.pk
|