Is Solidity Solid Enough?

DOI10.1007/978-3-030-43725-1_11zbMATH Open1520.91442OpenAlexW3011238671MaRDI QIDQ6166533FDOQ6166533

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

Recommendations

• scientific article; zbMATH DE number 2088697
• scientific article; zbMATH DE number 7006829
• scientific article; zbMATH DE number 33563
• scientific article; zbMATH DE number 1555546

zbMATH Keywords

operational semanticstype soundnesssmart contracts

Mathematics Subject Classification ID

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

Cited In (4)

• A formal model of Algorand smart contracts
• Formal verification of atomicity requirements for smart contracts
• Title not available (Why is that?)
• SSCalc: a calculus for Solidity smart contracts

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)