Results 11 to 20 of about 1,816,745 (277)
Reliable Smart Contract Automatic Generation Based on Event-B [PDF]
Jisuanji kexue, 2023 Smart contract is a new computable transaction agreement that executes contract terms in code.Its application scena-rios and scale are growing with each passing day,carrying up to billions of dollars of various assets.However,smart contracts may cause ...
ZHU Jian, HU Kai, WANG Jun, LI Jie, YE Yafei, SHI Xiyan
doaj +1 more source
Bytecode-based approach for Ethereum smart contract classification
网络与信息安全学报, 2022 In recent years, blockchain technology has been widely used and concerned in many fields, including finance, medical care and government affairs.However, due to the immutability of smart contracts and the particularity of the operating environment ...
Dan LIN, Kaixin LIN, Jiajing WU, Zibin ZHENG
doaj +3 more sources
Combining Graph Neural Networks With Expert Knowledge for Smart Contract Vulnerability Detection [PDF]
IEEE Transactions on Knowledge and Data Engineering, 2021 Smart contract vulnerability detection draws extensive attention in recent years due to the substantial losses caused by hacker attacks. Existing efforts for contract security analysis heavily rely on rigid rules defined by experts, which are labor ...
Zhenguang Liu +5 more
semanticscholar +1 more source
When ChatGPT Meets Smart Contract Vulnerability Detection: How Far Are We? [PDF]
ACM Transactions on Software Engineering and Methodology, 2023 With the development of blockchain technology, smart contracts have become an important component of blockchain applications. Despite their crucial role, the development of smart contracts may introduce vulnerabilities and potentially lead to severe ...
Chong Chen +9 more
semanticscholar +1 more source
Data Trading Certification Based on Consortium Blockchain and Smart Contracts
IEEE Access, 2021 In this paper, the first data trading certification blockchain solution based on consortium blockchain and smart contracts is proposed to solve the certification data security problem in data trading, so as to realize the auditability, accountability and
Wei Xiong, Li Xiong
doaj +1 more source
Smart contract model for complex reality transaction [PDF]
International Journal of Crowd Science, 2019 Purpose - The application of smart contract can greatly reduce transaction costs and improve transaction efficiency. The existing smart contract are expensive, single application scenario and inefficient.
Tianyu Feng +3 more
doaj +1 more source
Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2022 This paper presents DeCon, a declarative programming language for implementing smart contracts and specifying contract-level properties. Driven by the observation that smart contract operations and contract-level properties can be naturally expressed as relational constraints, DeCon models each smart contract as a set of relational tables that store ...
Chen, Haoxian +4 more
openaire +2 more sources
ItyFuzz: Snapshot-Based Fuzzer for Smart Contract [PDF]
International Symposium on Software Testing and Analysis, 2023 Smart contracts are critical financial instruments, and their security is of utmost importance. However, smart contract programs are difficult to fuzz due to the persistent blockchain state behind all transactions.
Chaofan Shou, Shangyin Tan, Koushik Sen
semanticscholar +1 more source
Smart Contract and DeFi Security Tools: Do They Meet the Needs of Practitioners? [PDF]
International Conference on Software Engineering, 2023 The growth of the decentralized finance (DeFi) ecosystem built on blockchain technology and smart contracts has led to an increased demand for secure and reliable smart contract development.
Stefanos Chaliasos +6 more
semanticscholar +1 more source
Smart Contract Vulnerability Detection Based on Abstract Syntax Tree Pruning [PDF]
Jisuanji kexue, 2023 With the development of blockchain technology,smart contracts have been widely used in various fields,and Ethereum has become the largest smart contract platform.At the same time,the frequent smart contract vulnerabilities have caused huge economic ...
LIU Zerun, ZHENG Hong, QIU Junjie
doaj +1 more source