Formal Verification of Justification and Finalization in Beacon Chain. - Hamra Afzaal; Nazir Ahmad Zafar; Aqsa Tehseen; Shaheen Kousar; Muhammad Imran 001 (IEEE Access, 2024)

Model Checking of Rewards and Penalties in Beacon Chain. - Hamra Afzaal; Nazir Ahmad Zafar; Aqsa Tehseen; Shaheen Kousar (Int. J. Networked Distributed Comput., 2025)