Results 41 to 50 of about 1,816,745 (277)
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 legal contract and its research progress
工程科学学报, 2022 With the advancement of blockchain, smart contracts have become increasingly popular. However, the uncertain status by law severely limits their practical applications.
Di WANG +6 more
doaj +1 more source
Vulseye: Detect Smart Contract Vulnerabilities via Stateful Directed Graybox Fuzzing [PDF]
IEEE Transactions on Information Forensics and SecuritySmart contracts, the cornerstone of decentralized applications, have become increasingly prominent in revolutionizing the digital landscape. However, vulnerabilities in smart contracts pose great risks to user assets and undermine overall trust in ...
Ruichao Liang +8 more
semanticscholar +1 more source
Solidity Code Generation From UML State Machines in Model-Driven Smart Contract Development
IEEE Access, 2022 For the development of blockchain smart contracts, a structured approach based on the principles of the Model Driven Architecture can be beneficial and facilitate the implementation of smart contracts.
Mantas Jurgelaitis +2 more
doaj +1 more source
Trustee: Full Privacy Preserving Vickrey Auction on top of Ethereum [PDF]
, 2019 The wide deployment of tokens for digital assets on top of Ethereum implies the need for powerful trading platforms. Vickrey auctions have been known to determine the real market price of items as bidders are motivated to submit their own monetary ...
E-O Blass +7 more
core +2 more sources
Are We There Yet? Unraveling the State-of-the-Art Smart Contract Fuzzers [PDF]
International Conference on Software EngineeringGiven the growing importance of smart contracts in various applications, ensuring their security and reliability is critical. Fuzzing, an effective vulnerability detection technique, has recently been widely applied to smart contracts.
Shuohan Wu +7 more
semanticscholar +1 more source
StateGuard: Detecting State Derailment Defects in Decentralized Exchange Smart Contract [PDF]
The Web ConferenceDecentralized Exchanges (DEXs), leveraging blockchain technology and smart contracts, have emerged in decentralized finance. However, the DEX project with multi-contract interaction is accompanied by complex state logic, which makes it challenging to ...
Zongwei Li +3 more
semanticscholar +1 more source
Design and implementation of a smart-contract voting system based on zero-knowledge proof
工程科学学报, 2023 As a legally binding computer program, smart contracts are stored on the blockchain and can be automatically executed according to the contract terms.
Hong-jian YIN +4 more
doaj +1 more source
A Secure Smart Contract Generation Method Based on Timed Automata [PDF]
Jisuanji gongcheng, 2023 Blockchain is a decentralized computing paradigm with promising application prospects in many fields. Smart contracts are the key to blockchain applications; however, security issues with smart contracts often occur, occasionally leading to significant ...
Yang LIU, Shengjie ZHANG
doaj +1 more source
, 2020 Security attacks targeting smart contracts have been on the rise, which have led to financial loss and erosion of trust. Therefore, it is important to enable developers to discover security vulnerabilities in smart contracts before deployment.
Akca Sefa +9 more
core +1 more source