Fahad F. Alhabardi

Orcid: 0000-0003-0992-2709

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
A simulator of Solidity-style smart contracts in the theorem prover Agda.
Proceedings of the 2023 6th International Conference on Blockchain Technology and Applications, 2023

A model of Solidity-style smart contracts in the theorem prover Agda.
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.
CoRR, 2022

2021
Verification of Bitcoin Script in Agda Using Weakest Preconditions for Access Control.
Proceedings of the 27th International Conference on Types for Proofs and Programs, 2021


  Loading...