Is Solidity Solid Enough?

DOI10.1007/978-3-030-43725-1_11MaRDI QIDQ6166533zbMATH OpenOpenAlexFDO

Authors

Publication date 3 August 2023

Published in Financial Cryptography and Data Security (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-030-43725-1_11

zbMATH Keywords

operational semanticssmart contractstype soundness

Mathematics Subject Classification ID

Software, source code, etc. for problems pertaining to game theory, economics, and finance (91-04) Actuarial science and mathematical finance (91G99) Cryptography (94A60)

Cited in

(7)

• Formal verification of atomicity requirements for smart contracts
• A formal model of Algorand smart contracts
• A theory of transaction parallelism in blockchains
• SSCalc: a calculus for Solidity smart contracts
• Type safety for Isabelle/Solidity
• Type safety for Isabelle/Solidity
• Isabelle/Solidity: A deep Embedding of Solidity in Isabelle/HOL

This page was built for publication: Is Solidity Solid Enough?

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6166533)