Results 11 to 20 of about 1,358,296 (285)
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
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
Rethinking Smart Contract Fuzzing: Fuzzing With Invocation Ordering and Important Branch Revisiting [PDF]
IEEE Transactions on Information Forensics and Security, 2023 Blockchain smart contracts have given rise to a variety of interesting and compelling applications and emerged as a revolutionary force for the Internet.
Zhenguang Liu +6 more
semanticscholar +1 more source
Do you still need a manual smart contract audit? [PDF]
arXiv.org, 2023 We investigate the feasibility of employing large language models (LLMs) for conducting the security audit of smart contracts, a traditionally time-consuming and costly process.
Isaac David +5 more
semanticscholar +1 more source
EF↯CF: High Performance Smart Contract Fuzzing for Exploit Generation [PDF]
European Symposium on Security and Privacy, 2023 Smart contracts are increasingly being used to manage large numbers of high-value cryptocurrency accounts. There is a strong demand for automated, efficient, and comprehensive methods to detect security vulnerabilities in a given contract.
Michael Rodler +6 more
semanticscholar +1 more source
IEEE Access, 2022 In the evolving context of distributed ledger technologies, the standardization of smart contracts is necessary. Smart contracts are tamper-proof computer programs. Due to their security and flexibility, it is possible to exploit smart contracts in a wide variety of use cases. In particular, it could be possible to automate legally recognized contracts
Capocasale, Vittorio, Perboli, Guido
openaire +2 more sources
OpenSCV: An Open Hierarchical Taxonomy for Smart Contract Vulnerabilities [PDF]
Empirical Software Engineering, 2023 Smart contracts are nowadays at the core of most blockchain systems. Like all computer programs, smart contracts are subject to the presence of residual faults, including severe security vulnerabilities.
F. Vidal, N. Ivaki, N. Laranjeiro
semanticscholar +1 more source
Smart Contracts Contracts [PDF]
Frontiers in Blockchain, 2020 This paper explores the connection between software contracts and smart contracts. Despite the assonance, these two terms denote quite different concepts: software contracts are logical properties of software components, while smart contracts are programs executed on blockchains. What is the relation between them?
openaire +4 more sources
The treewidth of smart contracts [PDF]
Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 2019 Smart contracts are programs that are stored and executed on the Blockchain and can receive, manage and transfer money in the form of cryptocurrency units. Two important problems regarding smart contracts are formal analysis and compiler optimization. Formal analysis is extremely important, because smart contracts hold funds worth billions of dollars ...
Chatterjee, Krishnendu +2 more
openaire +3 more sources