Overview of the Languages for Safe Smart Contract Programming

@inproceedings{Tyurin2019OverviewOT,
  title={Overview of the Languages for Safe Smart Contract Programming},
  author={A. Tyurin and I. V. Tyuluandin and V. S. Maltsev and I. Kirilenko and D. Berezun},
  year={2019}
}
Blockchain technologies are gradually being found an application in many areas, especially in FinTech. As a result, a lot of blockchain platforms have emerged with the support of smart contracts that are intended to automate party interactions. However, it has been shown that they are prone to attacks and errors which lead to money loss. To date, there has been a wide range of approaches for making smart contracts safer that included analysis tools, reasoning models, and safer and more rigorous… Expand

Tables and Topics from this paper

References

SHOWING 1-10 OF 39 REFERENCES
Smart contracts vulnerabilities: a call for blockchain software engineering?
A Semantic Framework for the Security Analysis of Ethereum smart contracts
Potential Risks of Hyperledger Fabric Smart Contracts
SmartCheck: Static Analysis of Ethereum Smart Contracts
Making Smart Contracts Smarter
Simplicity: A New Language for Blockchains
...
1
2
3
4
...