Formal Modeling and Verification of Smart Contracts-Reference-Cited by-同舟云学术

Formal Modeling and Verification of Smart Contracts

Published:2018-02-08 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 2018 7th International Conference on Software and Computer Applications
language:
Short-container-title:

Author:

Bai Xiaomin¹,Cheng Zijing²,Duan Zhangbo¹,Hu Kai¹

Affiliation:

1. State Key Laboratory of Software Development Environment, Beihang University, Beijing, China

2. State Key Laboratory of Space-Ground Integrated Information Technology, Beijing Institute of Satellite Information Engineering, Beijing, China

Publisher

ACM

Link

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

Reference17 articles.

1. Decentralized autonomous organization: The DAO{EB/OL}. (2016-06-17). https://en.wikipedia.org/wiki/Decentralized_autonomous_organization. Decentralized autonomous organization: The DAO{EB/OL}. (2016-06-17). https://en.wikipedia.org/wiki/Decentralized_autonomous_organization.

2. DAO Attack{EB/OL}. 2016. http://www.coindesk.com/the-dao-just-raised-50-million-but-what-is-it/. DAO Attack{EB/OL}. 2016. http://www.coindesk.com/the-dao-just-raised-50-million-but-what-is-it/.

3. Ethereum{EB/OL}.http://www.ethereum.org/ 2017. Ethereum{EB/OL}.http://www.ethereum.org/ 2017.

4. Formalizing and Securing Relationships on Public Networks

5. Code is law{J};Lessig L;The Industry Standard,1999

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

1. A Dynamic Behavior Verification Method for Composite Smart Contracts Based on Model Checking;Mathematics;2024-08-05

2. A smart contract vulnerability detection method based on deep learning with opcode sequences;Peer-to-Peer Networking and Applications;2024-06-27

3. Toward Automated Attack Discovery in SDN Controllers Through Formal Verification;IEEE Transactions on Network and Service Management;2024-06

4. Are We There Yet? Unraveling the State-of-the-Art Smart Contract Fuzzers;Proceedings of the IEEE/ACM 46th International Conference on Software Engineering;2024-04-12

5. Modeling and verification of smart contracts with Abstract State Machines;Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing;2024-04-08