Publisher
Springer International Publishing
Reference25 articles.
1. Michelson: the language of smart contracts in Tezos. https://tezos.gitlab.io/whitedoc/michelson.html
2. Ethereum. Solidity documentation - release 0.2.0 (2016). http://solidity.readthedocs.io/
3. Ahrendt, W., Bubel, R.: Functional verification of smart contracts via strong data integrity. In: Proceedings of ISoLA (3). LNCS, pp. 9–24. Springer (2020). https://doi.org/10.1007/978-3-030-61467-6_2
4. Alfour, G.: LIGO: a friendly smart-contract language for Tezos (2022). Accessed 3 May 2022. https://ligolang.org
5. Annenkov, D., Nielsen, J.B., Spitters,B.: ConCert: a smart contract certification framework in Coq. In: Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP 2020), pp. 215–218. ACM (2020)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Monitoring the Future of Smart Contracts;Lecture Notes in Computer Science;2024
2. A Robust Front-Running Methodology for Malicious Flash- Loan DeFi Attacks;2023 IEEE International Conference on Decentralized Applications and Infrastructures (DAPPS);2023-07
3. Midnight: An Efficient Event-driven EVM Transaction Security Monitoring Approach For Flash Loan Detection;2023 20th International Joint Conference on Computer Science and Software Engineering (JCSSE);2023-06-28
4. Transaction Monitoring of Smart Contracts;Runtime Verification;2022