Results 11 to 20 of about 1,414,439 (309)
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
An Open Source Solution for Smart Contract-Based Parking Management [PDF]
Open Source Systems16th IFIP WG 2.13 International Conference, 2020 Buldakov N +3 more
europepmc +3 more sources
Blockchain modeled swarm optimized lyapunov smart contract deep reinforced secure tasks offloading in smart home. [PDF]
MethodsXPreethi, Ulla MM, R S, Devadas RM.
europepmc +2 more sources
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 +3 more
doaj +3 more sources
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
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
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