中文
相关论文

相关论文: A Bytecode-based Approach for Smart Contract Class…

200 篇论文

Since it takes time and effort to put a new product or service on the market, one would like to predict whether it will be a success. In general this is not possible, but it is possible to follow best practices in order to maximise the…

软件工程 · 计算机科学 2019-09-02 Pieter Hartel , Ivan Homoliak , Daniël Reijsbergen

As a blockchain platform that has developed vigorously in recent years, Ethereum is different from Bitcoin in that it introduces smart contracts into blockchain.Solidity is one of the most mature and widely used smart contract programming…

软件工程 · 计算机科学 2019-11-25 Pengcheng Zhang , Feng Xiao , Xiapu Luo

The Ethereum blockchain platform supports the execution of decentralised applications or smart contracts. These typically hold and transfer digital currency to other parties on the platform; however, they have been subject to numerous…

编程语言 · 计算机科学 2019-04-16 Franklin Schrans , Daniel Hails , Alexander Harkness , Sophia Drossopoulou , Susan Eisenbach

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…

密码学与安全 · 计算机科学 2021-07-27 Zhenguang Liu , Peng Qian , Xiaoyang Wang , Yuan Zhuang , Lin Qiu , Xun Wang

This study analyzes the application of code-generating Large Language Models in the creation of immutable Solidity smart contracts on the Ethereum Blockchain. Other works have previously analyzed Artificial Intelligence code generation…

软件工程 · 计算机科学 2024-11-06 Siddhartha Chatterjee , Bina Ramamurthy

With the rapid growth of blockchain technology, smart contracts are now crucial to Decentralized Finance (DeFi) applications. Effective vulnerability detection is vital for securing these contracts against hackers and enhancing the accuracy…

软件工程 · 计算机科学 2024-12-25 Jango Zhang

Smart contracts have played a pivotal role in the evolution of blockchains and Decentralized Applications (DApps). As DApps continue to gain widespread adoption, multiple smart contract languages have been and are being made available to…

The widespread recognition of the smart contracts has established their importance in the landscape of next generation blockchain technology. However, writing a correct smart contract is notoriously difficult. Moreover, once a…

软件工程 · 计算机科学 2019-11-26 Xinming Wang , Zhijian Xie , Jiahao He , Gansen Zhao , Nie Ruihua

In recent years, research in software security has concentrated on identifying vulnerabilities in smart contracts to prevent significant losses of crypto assets on blockchains. Despite early successes in this area, detecting developers'…

软件工程 · 计算机科学 2025-03-18 Youwei Huang , Sen Fang , Jianwen Li , Jiachun Tao , Bin Hu , Tao Zhang

Smart contracts on the blockchain offer decentralized financial services but often lack robust security measures, leading to significant economic losses. While substantial research has focused on identifying vulnerabilities in smart…

密码学与安全 · 计算机科学 2024-10-18 Youwei Huang , Sen Fang , Jianwen Li , Bin Hu , Tao Zhang

Smart contracts are computer programs that can be consistently executed by a network of mutually distrusting nodes, without the arbitration of a trusted authority. Because of their resilience to tampering, smart contracts are appealing in…

密码学与安全 · 计算机科学 2018-06-21 Massimo Bartoletti , Livio Pompianu

Smart contracts are Turing-complete programs running on the blockchain. They are immutable and cannot be modified, even when bugs are detected. Therefore, ensuring smart contracts are bug-free and well-designed before deploying them to the…

软件工程 · 计算机科学 2021-03-24 Jiachi Chen , Xin Xia , David Lo , John Grundy , Xiapu Luo , Ting Chen

Due to the modern relevance of blockchain technology, smart contracts present both substantial risks and benefits. Vulnerabilities within them can trigger a cascade of consequences, resulting in significant losses. Many current papers…

密码学与安全 · 计算机科学 2023-09-15 Abhinav Jain , Ehan Masud , Michelle Han , Rohan Dhillon , Sumukh Rao , Arya Joshi , Salar Cheema , Saurav Kumar

Smart contracts are autonomous software executing predefined conditions. Two of the biggest advantages of the smart contracts are secured protocols and transaction costs reduction. On the Ethereum platform, an open-source blockchain-based…

计算工程、金融与科学 · 计算机科学 2019-05-27 Jeremy Charlier , Radu Statem , Jean Hilger

Currently, there is no universal method to track who shared what, with whom, when and for what purposes in a verifiable way to create an individual incentive for data owners. A platform that allows data owners to control, delete, and get…

密码学与安全 · 计算机科学 2025-10-29 Ajay Kumar Shrestha , Julita Vassileva

Ethereum smart contracts, which are autonomous decentralized applications on the blockchain that manage assets often exceeding millions of dollars, have become primary targets for cyberattacks. In 2023 alone, such vulnerabilities led to…

密码学与安全 · 计算机科学 2023-12-29 Christoph Sendner , Lukas Petzi , Jasper Stang , Alexandra Dmitrienko

Vulnerability detection and safety of smart contracts are of paramount importance because of their immutable nature. Symbolic tools like OYENTE and MAIAN are typically used for vulnerability prediction in smart contracts. As these tools are…

信息检索 · 计算机科学 2020-04-02 Ajay K. Gogineni , S. Swayamjyoti , Devadatta Sahoo , Kisor K. Sahu , Raj kishore

As more and more attacks have been detected on Ethereum smart contracts, it has seriously affected finance and credibility. Current anti-fraud detection techniques, including code parsing or manual feature extraction, still have some…

机器学习 · 计算机科学 2025-03-20 Yihong Jin , Ze Yang , Xinhe Xu

Smart contracts are programs that execute transactions involving independent parties and cryptocurrencies. As programs, smart contracts are susceptible to a wide range of errors and vulnerabilities. Such vulnerabilities can result in…

密码学与安全 · 计算机科学 2023-07-03 Sundas Munir , Walid Taha

Research on blockchains addresses multiple issues, with one being writing smart contracts. In our previous research we described methodology and a tool to generate, in automated fashion, smart contracts from BPMN models. The generated smart…

软件工程 · 计算机科学 2025-05-29 C. G. Liu , P. Bodorik , D. Jutla