Findel: Secure Derivative Contracts for Ethereum-Reference-Cited by-同舟云学术

Findel: Secure Derivative Contracts for Ethereum

Published:2017 Issue: Volume: Page:453-467
ISSN:0302-9743
Container-title:Financial Cryptography and Data Security
language:
Short-container-title:

Author:

Biryukov Alex,Khovratovich Dmitry,Tikhomirov Sergei

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-70278-0_28

Reference40 articles.

1. Atzei, N., Bartoletti, M., Cimoli, T.: A survey of attacks on ethereum smart contracts. IACR Cryptol. ePrint Arch. 2016, 1007 (2016)

2. Statistical release. OTC derivatives statistics at end-june 2016 (2016). https://www.bis.org/publ/otc_hy1611.pdf

3. Browser-solidity online compiler (2016). https://ethereum.github.io/browser-solidity/

4. A next-generation smart contract and decentralized application platform (2014). https://github.com/ethereum/wiki/wiki/White-Paper

5. Clack, C.D., Bakshi, V.A., Braine, L.: Smart contract templates: foundations, design landscape and research directions. CoRR, abs/1608.00771 (2016)

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

1. Navigating the labyrinth of smart contract financial derivatives: Unraveling technical detail and application;International Journal of Financial Engineering;2024-07-26

2. A refinement-based approach to safe smart contract deployment and evolution;Software and Systems Modeling;2024-01-25

3. Digitalized and Decentralized Open-Cry Auctioning: Key Properties, Solution Design, and Implementation;IEEE Access;2024

4. When Blockchain Meets Domain Specific Language: A Review;Smart Innovation, Systems and Technologies;2023-11-03

5. 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