Shaheen Kousar

According to our database, Shaheen Kousar authored at least 2 papers between 2024 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2025

Model Checking of Rewards and Penalties in Beacon Chain.

Hamra Afzaal, Nazir Ahmad Zafar, Aqsa Tehseen, Shaheen Kousar

Int. J. Networked Distributed Comput., June, 2025

2024

Formal Verification of Justification and Finalization in Beacon Chain.

Hamra Afzaal, Nazir Ahmad Zafar, Aqsa Tehseen, Shaheen Kousar, Muhammad Imran

IEEE Access, 2024