Results 21 to 30 of about 1,414,439 (309)
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
Survey of smart contract security
网络与信息安全学报, 2020 Blockchain provides a new technology for building transmission and trust mechanism of social ralue.The rapid development of blockchain has promoted the deep integration of smart contract with artificial Intelligence,big data and internet of things,so its
Bo MENG +5 more
doaj +3 more sources
State-of-the-art survey of smart contract verification based on formal methods
网络与信息安全学报, 2022 Smart contract represents an essential application scenario of blockchain technology.Smart contract technology improves programmability and scalability of blockchain, and has broad development prospects.However, a series of security incidents caused a ...
Wenbo ZHANG +4 more
doaj +3 more sources
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
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 +3 more sources
SMART CONTRACTS: SECURITY ISSUES AND FURTHER DEVELOPMENT IN BRAZIL
International Journal of Law in Changing World, 2022 This study aims to describe how smart contracts are made and the legal certainty of using them on business contracts. For this, the study concepted the smart contract, as well its characteristics and the difference between smart contract and e-contract.
Luane Silva Nascimento +1 more
doaj +1 more source
MDA-Based Approach for Blockchain Smart Contract Development
Applied Sciences, 2022 Blockchain smart contracts can support the decentralisation of business processes, but due to smart contracts’ specifics, their development is a complicated process.
Mantas Jurgelaitis +4 more
doaj +1 more source
Smart Contract Development: Challenges and Opportunities
IEEE Transactions on Software Engineering, 2021 Smart contract, a term which was originally coined to refer to the automation of legal contracts in general, has recently seen much interest due to the advent of blockchain technology.
W. Zou +7 more
semanticscholar +1 more source
Secure Modular Smart Contract Platform for Multi-Tenant 5G Applications
IEEE Access, 2020 Trusted decentralized applications based on distributed ledger technologies provide many potential opportunities to 5G applications and verticals, as well as in fifth generation mobile network (5G) enabling technologies, systems, and services. Apart from
Matevz Pustisek, Jan Turk, Andrej Kos
doaj +1 more source