Results 21 to 30 of about 1,358,296 (285)
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
ACM Transactions on Software Engineering and Methodology, 2020 Smart contracts are automated or self-enforcing contracts that can be used to exchange assets without having to place trust in third parties. Many commercial transactions use smart contracts due to their potential benefits in terms of secure peer-to-peer transactions independent of external parties. Experience shows that many commonly used
Xiao Liang Yu +3 more
openaire +4 more sources
Elastic Smart Contracts in Blockchains
IEEE/CAA Journal of Automatica Sinica, 2021 Junta de Andalucía EKIPMENT-PLUS (P18-FR-2895)
Dustdar, Schahram +3 more
openaire +7 more sources
A Smart Contract Vulnerability Detection Mechanism Based on Deep Learning and Expert Rules
IEEE Access, 2023 Traditional techniques for smart contract vulnerability detection rely on fixed expert criteria to discover vulnerabilities, which are less generalizable, scalable, and accurate.
Zhenpeng Liu +4 more
semanticscholar +1 more source
Translation certification for smart contracts
Science of Computer Programming, 2022 Compiler correctness is an old problem, but with the emergence of smart contracts on blockchains that problem presents itself in a new light. Smart contracts are self-contained pieces of software that control assets, which are often of high financial value, in an adversarial environment and, once committed to the blockchain, they cannot be changed ...
Jacco O. G. Krijnen +3 more
openaire +6 more sources
Enhancing Smart-Contract Security through Machine Learning: A Survey of Approaches and Techniques
Electronics, 2023 As blockchain technology continues to advance, smart contracts, a core component, have increasingly garnered widespread attention. Nevertheless, security concerns associated with smart contracts have become more prominent.
Fan Jiang +6 more
semanticscholar +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 Engineering [PDF]
Electronics, 2020 A smart contract is the algorithmic description of a contractual transaction protocol that is automatically executed together with the information provided by its parties. It is written in a simplified programming language that is specific to a particular domain.
Kai Hu +4 more
openaire +1 more source
Deep Learning-Based Malicious Smart Contract and Intrusion Detection System for IoT Environment
Mathematics, 2023 The Internet of Things (IoT) is a key enabler technology that recently received significant attention from the scientific community across the globe. It helps transform everyone’s life by connecting physical and virtual devices with each other to offer ...
Harshit S. Shah +8 more
semanticscholar +1 more source
Smart Contract Vulnerability Detection Technique: A Survey [PDF]
arXiv.org, 2022 Smart contract, one of the most successful applications of blockchain, is taking the world by storm, playing an essential role in the blockchain ecosystem.
Peng Qian +5 more
semanticscholar +1 more source