Blockchain-Papers
Formal Methods in Blockchain Technology
Generic
| Type | Paper Title (with link) | Publisher | Publication Date |
|---|---|---|---|
| Theorem Proving |  HaskHOL: A Haskell Hosted Domain Specific Language for Higher-Order Logic Theorem Proving  HaskHOL: A Haskell Hosted Domain Specific Language Representation of HOL Light |
University of Kansas | Jan 2011 |
Smart Contracts
Bitcoin
| Type | Paper Title (with link) | Publisher | Publication Date |
|---|---|---|---|
| Domain Specific Language Process Algebra |
 Formal Methods for Secure Bitcoin Smart Contracts |
Universita degli Studi di Cagliari | Apr 2021 |
| Formal Verification | Validation of Decentralised Smart Contracts Through Game Theory and Formal Methods |  Programming Languages with Applications to Biology and Security |
Nov 2015 |
Ethereum
| Type | Paper Title (with link) | Publisher | Publication Date |
|---|---|---|---|
| LLM | PropertyGPT: LLM-driven Formal Verification of Smart Contracts through Retrieval-Augmented Property Generation | Network and Distributed System Security (NDSS) Symposium | Feb 2025 |
| Formal Methods for the Security Analysis of Smart Contracts |  2021 Formal Methods in Computer Aided Design (FMCAD) |
Nov 2021 | |
| Formal Specification and Verification | Formal Specification and Verification of Solidity Contracts with Events | Workshop on Formal Methods for Blockchains (FMBC) | Dec 2020 |
| Formal Specification Legal Contracts |
Smart Contracts: from Formal Specification to Blockchain Code |
University of Ottawa | 2020 |
| Formal Specification | SMT-Friendly Formalization of the Solidity Memory Model | European Symposium on Programming | Apr 2020 |
| Formal Verification | Survey of Formal Verification Methods for Smart Contracts on Blockchain | 2019 10th IFIP International Conference on New Technologies, Mobility and Security (NTMS) |
Jul 2019 |
| Formal Verification | Towards Verification of Ethereum Smart Contracts: A Formalization of Core of Solidity | Verified Software. Theories, Tools and Experiments | Nov 2018 |
| Languages | Smart Contracts and Opportunities for Formal Methods | ISoLA: International Symposium on Leveraging Applications of Formal Methods |
Oct 2018 |
Hyperledger
| Type | Paper Title (with link) | Publisher | Publication Date |
|:————-|————————————-|:——————–|:————————:|
| Formal Specification
Formal Verification | Formal Specification and Verification of Hyperledger Fabric Chaincode | | 2018 |