Author:
Bartoletti Massimo,Galletta Letterio,Murgia Maurizio
Publisher
Springer International Publishing
Reference19 articles.
1. Solidity documentation. solidity.readthedocs.io/en/v0.5.4/ (2019)
2. Lecture Notes in Computer Science;N Atzei,2017
3. Bartoletti, M., Galletta, L., Murgia, M.: A minimal core calculus for Solidity contracts. CoRR arXiv:1908.02709 (2019)
4. Lecture Notes in Computer Science;A Biryukov,2017
5. Buterin, V.: Ethereum: a next generation smart contract and decentralized application platform. github.com/ethereum/wiki/wiki/White-Paper (2013)
Cited by
18 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. ReenRepair: Automatic and semantic equivalent repair of reentrancy in smart contracts;Journal of Systems and Software;2024-10
2. Consolidating Smart Contracts with Behavioral Contracts;Proceedings of the ACM on Programming Languages;2024-06-20
3. A model of Solidity-style smart contracts in the theorem prover Agda;2023 IEEE International Conference on Artificial Intelligence, Blockchain, and Internet of Things (AIBThings);2023-09-16
4. SSCalc: A Calculus for Solidity Smart Contracts;Software Engineering and Formal Methods;2023
5. A lightweight approach to smart contracts supporting safety, security, and privacy;Journal of Logical and Algebraic Methods in Programming;2022-06