Fahad Alhabardi (ORCID)
PhD student at Department of Computer Science, Swansea University, Swansea, United Kingdom
Under supervision Dr. Anton Setzer (ORCID)
Papers
- Fahad F. Alhabardi,
Arnold Beckmann, Bogda Lazar, and Anton Setzer:
Verification of Bitcoin Script in Agda Using Weakest Preconditions for Access Control In: Proceedings of
27th International Conference on Types for Proofs and Programs (TYPES 2021). Leibniz International Proceedings in Informatics (LIPIcs)
239, p. 1:1 - 1:25. https://drops.dagstuhl.de/opus/volltexte/2022/16770, 2022. bibtex
- Fahad Alhabardi,
Bogda Lazar, and Anton Setzer:
Verifying Correctness of Smart Contracts with Conditionals Published in: 2022 IEEE 1st Global Emerging Technology Blockchain Forum: Blockchain & Beyond (iGETblockchain). Publisher: IEEE.
https://doi.org/10.1109/iGETblockchain56591.2022.10087054, 2022. bibtex
- Fahad Alhabardi and Anton Setzer:
A model of Solidity-style smart contracts in the theorem prover Agda Published in: The IEEE International Conference on Artificial Intelligence, Blockchain, and Internet of Things, (AIBThings), 2023. Publisher: IEEE.
https://doi.org/10.1109/AIBThings58340.2023.10292478, 2023. bibtex
Slides of Talks
- Fahad Alhabardi, Anton Setzer, and Bogdan Lazer: Verification of Bitcoin Smart Contracts using the
Interactive Theorem Prover Agda Talk given at the PhD Day of BLC 2021, 02 - 03 September 2021, Durham University, UK.
- Fahad Alhabardi, Anton Setzer, Arnold Beckmann, and Bogdan Lazer: Verification Techniques for Smart Contracts in Agda Talk given at Types 2022 (28th International Conference on Types for Proofs and
Programs), University of Nantes, France, June 22, 2022.
- Fahad Alhabardi and Anton Setzer: Verification of Bitcoin Script in Agda Using Weakest
Preconditions for Access Control Seminar talk given at at Swansea University’s theory group, 07 Dec 2022.
- Fahad Alhabardi and Anton Setzer: A Simple Model of Smart Contracts in Agda Talk given at Types 2023, Universitat Politècnica de València, València, Spain, 12 June 2023.
- Fahad Alhabardi, Anton Setzer, and Bogdan Lazer: Verification of Bitcoin Smart Contracts using the Interactive Theorem Prover Agda Talk given at the PhD Day of BLC 2021, 02 - 03 September 2021, Durham University, UK.
- Fahad Alhabardi, Anton Setzer, Arnold Beckmann, and Bogdan Lazer: Verification Techniques for Smart Contracts in Agda Talk given at Types 2022 (28th International Conference on Types for Proofs and Programs), University of Nantes, France, June 22, 2022.
- Fahad Alhabardi and Anton Setzer: Verification of Bitcoin Script in Agda Using Weakest Preconditions for Access Control Seminar talk given at at Swansea University’s theory group, 07 Dec 2022.
- Fahad Alhabardi and Anton Setzer: A Simple Model of Smart Contracts in Agda Talk given at Types 2023, Universitat Politècnica de València, València, Spain, 12 June 2023.