Fahad F. Alhabardi

Orcid: 0000-0003-0992-2709

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

Collaborative distances:

Dijkstra number² of five.
Erdős number³ 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.

[BibT_eX]

[DOI]

Fahad F. Alhabardi

Anton Setzer

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

CoRR, 2022

2021

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

[BibT_eX]

[DOI]

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

Fahad F. Alhabardi

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...