Search Results - Nazir Ahmad Zafar

  • Showing 1 - 1 results of 1
Refine Results
  1. 1
    Formal Verification of Rewards and Penalties Mechanism of FFG Attestations: Ethereum 2.0 Beacon Chain Case Study

    Formal Verification of Rewards and Penalties Mechanism of FFG Attestations: Ethereum 2.0 Beacon Chain Case Study by Muhammad Rashid, Imran Rasool, Nazir Ahmad Zafar, Hamra Afzaal

    Published 2025-01-01
    Get full text
    Article

    Save to List
    Saved in:

Search Tools: