Fahad F. Alhabardi

Publication Activity (10 Years)

Years Active: 2021-2023
Publications (10 Years): 4

Top Topics

Role Based Access Control Model

Top Venues

Publications

Fahad F. Alhabardi, Anton Setzer
A model of Solidity-style smart contracts in the theorem prover Agda. AIBThings (2023)
Fahad F. Alhabardi, Anton Setzer
A simulator of Solidity-style smart contracts in the theorem prover Agda. ICBTA (2023)
Fahad F. Alhabardi, Arnold Beckmann, Bogdan Lazar, Anton Setzer
Verification of Bitcoin's Smart Contracts in Agda using Weakest Preconditions for Access Control. CoRR (2022)
Fahad F. Alhabardi, Arnold Beckmann, Bogdan Lazar, Anton Setzer
Verification of Bitcoin Script in Agda Using Weakest Preconditions for Access Control. TYPES (2021)