Writing safe smart contracts in Flint-Reference-Cited by-同舟云学术

Writing safe smart contracts in Flint

Published:2018-04-09 Issue: Volume: Page:
ISSN:
Container-title:Conference Companion of the 2nd International Conference on Art, Science, and Engineering of Programming
language:
Short-container-title:

Author:

Schrans Franklin¹,Eisenbach Susan¹,Drossopoulou Sophia¹

Affiliation:

1. Imperial College London, UK

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3191697.3213790

Reference9 articles.

1. 2014. Solidity Documentation. http://solidity.readthedocs.io/en/latest/. (2014). 2014. 2014. Solidity Documentation. http://solidity.readthedocs.io/en/latest/. (2014). 2014.

2. Solidity Modifiers. http://solidity.readthedocs.io/en/develop/contracts. html#functionmodifiers. (2014). 2016. Solidity Modifiers. http://solidity.readthedocs.io/en/develop/contracts. html#functionmodifiers. (2014). 2016.

3. Chasing the DAO Attacker’s Wake. https://pdaian.com/blog/ chasingthedaoattackerswake/. (2016). 2016. Chasing the DAO Attacker’s Wake. https://pdaian.com/blog/ chasingthedaoattackerswake/. (2016). 2016.

4. King of the Ether Throne: A Post-Mortem investigation. https://www. kingoftheether.com/postmortem.html. (2016). 2016. The Viper programming language. https://github.com/ethereum/vyper. (2016). 2017. Bamboo: a language for morphing smart contracts. https://github.com/ pirapira/bamboo. (2017). 2017. King of the Ether Throne: A Post-Mortem investigation. https://www. kingoftheether.com/postmortem.html. (2016). 2016. The Viper programming language. https://github.com/ethereum/vyper. (2016). 2017. Bamboo: a language for morphing smart contracts. https://github.com/ pirapira/bamboo. (2017). 2017.

5. The Multi-sig Hack: A Postmortem. http://paritytech.io/ themultisighackapostmortem/. (2017). 2017. The Multi-sig Hack: A Postmortem. http://paritytech.io/ themultisighackapostmortem/. (2017). 2017.

Cited by 23 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A Comprehensive Analysis of Blockchain Technology and Consensus Protocols Across Multilayered Framework;IEEE Access;2024

2. Preventing Ethereum Blockchain Re-Entrancy Attacks Using Smart Mutex Lock Sum;2023 4th International Conference on Computation, Automation and Knowledge Management (ICCAKM);2023-12-12

3. Smart contract: a survey towards extortionate vulnerability detection and security enhancement;Wireless Networks;2023-11-28

4. Prisma : A Tierless Language for Enforcing Contract-client Protocols in Decentralized Applications;ACM Transactions on Programming Languages and Systems;2023-09-23

5. Model Checking of Hyperledger Fabric Smart Contracts;2023 IEEE 28th International Conference on Emerging Technologies and Factory Automation (ETFA);2023-09-12