Author:
Chakravarty Manuel M. T.,Chapman James,MacKenzie Kenneth,Melkonian Orestis,Peyton Jones Michael,Wadler Philip
Publisher
Springer International Publishing
Reference17 articles.
1. Lecture Notes in Computer Science;M Andrychowicz,2014
2. Atzei, N., Bartoletti, M., Lande, S., Zunino, R.: A formal model of Bitcoin transactions. In: Meiklejohn and Sako [10], pp. 541–560.
https://doi.org/10.1007/978-3-662-58387-6_29
3. Bartoletti, M., Zunino, R.: BitML: a calculus for bitcoin smart contracts. In: Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security, pp. 83–100. ACM (2018)
4. Ethereum Foundation: Solidity documentation (2016–2019).
https://solidity.readthedocs.io/
5. Falkon, S.: The story of the DAO – its history and consequences (2017). medium.com.
https://medium.com/swlh/the-story-of-the-dao-its-history-and-consequences-71e6a8a551ee
Cited by
45 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. An overview of blockchain smart contract execution mechanism;Journal of Industrial Information Integration;2024-09
2. Secure compilation of rich smart contracts on poor UTXO blockchains;2024 IEEE 9th European Symposium on Security and Privacy (EuroS&P);2024-07-08
3. PAROLE: Profitable Arbitrage in Optimistic Rollup with ERC-721 Token Transactions;2024 54th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN);2024-06-24
4. Unlocking Blockchain UTXO Transactional Patterns and Their Effect on Storage and Throughput Trade-Offs;Computers;2024-06-07
5. SoK: DAG-based Consensus Protocols;2024 IEEE International Conference on Blockchain and Cryptocurrency (ICBC);2024-05-27