Fahad F. Alhabardi

According to our database, Fahad F. Alhabardi authored at least 3 papers between 2021 and 2023.

Collaborative distances:

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

2023

A model of Solidity-style smart contracts in the theorem prover Agda.

Fahad F. Alhabardi, Anton Setzer

Proceedings of the IEEE International Conference on Artificial Intelligence, 2023

2022

Verification of Bitcoin's Smart Contracts in Agda using Weakest Preconditions for Access Control.

Fahad F. Alhabardi, Arnold Beckmann, Bogdan Lazar, Anton Setzer

CoRR, 2022

2021

Verification of Bitcoin Script in Agda Using Weakest Preconditions for Access Control.

Fahad F. Alhabardi, Arnold Beckmann, Bogdan Lazar, Anton Setzer

Proceedings of the 27th International Conference on Types for Proofs and Programs, 2021