| Title | Formal verification of fraud-resilience in a crowdsourcing consensus protocol |
| Type | Journal |
| Publisher | Elsevier |
| Publication Year | 2023 |
| First Author | Hamra Afzaal |
| Second Author | Muhammad Imran |
| Third Author | Muhammad Umar Janjua |
| Publication Level | International |
| Volume | |
| Publication # | |
| Page # | |
| Submitted by | Hamra Afzaal |
| Department | Computer Science |
| Email |
hamraafzaal@cuisahiwal.edu.pk
|