Funder
National Natural Science Foundation of China
National Key Research and Development Program of China
Subject
Library and Information Sciences,Management Science and Operations Research,Computer Science Applications,Media Technology,Information Systems
Reference35 articles.
1. Amani, Sidney, et al. (2018). Towards verifying ethereum smart contract bytecode in Isabelle/HOL. In CPP 2018.
2. PF-BTS: A Privacy-Aware Fog-enhanced Blockchain-assisted task scheduling;Baniata;Information Processing & Management,2021
3. Survey on blockchain for information systems management and security;Berdik;Information Processing & Management,2021
4. Bhargavan, K., Delignat-Lavaud, A., & Fournet, C. (2016). Short paper: Formal verification of smart contracts ACM 2016 article.
5. Vandal: A scalable security analysis framework for smart contracts;Brent,2018
Cited by
24 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献