Fahad F. Alhabardi

Identifiers

• name variant Fahad F. Alhabardi 0.60 · backfill

Papers (1)

1. Verification of Bitcoin Script in Agda using Weakest Preconditions for Access Control cs.SC · 2022 · author #1

Mentions

• 2203.03054 #1 · arxiv_oai · confidence 0.70 Fahad F. Alhabardi

Frequent Coauthors

• Anton Setzer 1 shared papers
• Arnold Beckmann 1 shared papers
• Bogdan Lazar 1 shared papers