中文
相关论文

相关论文: ContractTrace: Retracing Smart Contract Versions f…

200 篇论文

Blockchain smart contracts have emerged as a transformative force in the digital realm, spawning a diverse range of compelling applications. Since solidity smart contracts across various domains manage trillions of dollars in virtual coins,…

分布式、并行与集群计算 · 计算机科学 2024-12-12 Zhiyuan Wei , Xianhao Zhang , Jing Sun , Zijian Zhang , Liehuang Zhu

Smart contracts are susceptible to critical vulnerabilities. Hybrid dynamic analyses, such as concolic execution assisted fuzzing and foundation model assisted fuzzing, have emerged as highly effective testing techniques for smart contract…

软件工程 · 计算机科学 2024-09-10 Sally Junsong Wang , Jianan Yao , Kexin Pei , Hidedaki Takahashi , Junfeng Yang

Blockchain-based smart contract has become a growing field in the blockchain technology. What was once a technology used to solve digital transaction issues turns out to have some wider usage, including smart contract. The development of…

密码学与安全 · 计算机科学 2021-08-23 Fengkie Junis , Faisal Malik Widya Prasetya , Farouq Ibrahim Lubay , Anny Kartika Sari

Smart contracts are a key component of the Web 3.0 ecosystem, widely applied in blockchain services and decentralized applications. However, the automated execution feature of smart contracts makes them vulnerable to potential attacks due…

密码学与安全 · 计算机科学 2025-05-26 Yanli Jin , Chunpei Li , Peng Fan , Peng Liu , Xianxian Li , Chen Liu , Wangjie Qiu

The development of blockchain technologies has enabled the trustless execution of so-called smart contracts, i.e. programs that regulate the exchange of assets (e.g., cryptocurrency) between users. In a decentralized blockchain, the state…

编程语言 · 计算机科学 2020-04-28 Massimo Bartoletti , Letterio Galletta , Maurizio Murgia

The widespread adoption of blockchain technology has amplified the spectrum of potential threats to its integrity and security. The ongoing quest to exploit vulnerabilities emphasizes how critical it is to expand on current research…

密码学与安全 · 计算机科学 2024-04-30 Kaustubh Dwivedi , Ankit Agrawal , Ashutosh Bhatia , Kamlesh Tiwari

The immutable and trustable characteristics of blockchain enable smart contracts to be applied in various fields. Unfortunately, smart contracts are subject to various vulnerabilities, which are frequently exploited by attackers, causing…

密码学与安全 · 计算机科学 2023-06-08 Haiyang Liu , Yuqi Fan , Lin Feng , Zhenchun Wei

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

Secure sensor calibration constitutes a foundational step that underpins operational safety in the Industrial Internet of Things. While much attention has been given to IoT security such as the use of TLS to secure sensed data, little…

密码学与安全 · 计算机科学 2020-03-03 Ryan Shah , Michael McIntee , Shishir Nagaraja , Sahil Bhandary , Prerna Arote , Joy Kuri

This paper introduces CrossLink, a decentralized framework for secure cross-chain smart contract execution that effectively addresses the inherent limitations of contemporary solutions, which primarily focus on asset transfers and rely on…

密码学与安全 · 计算机科学 2025-10-23 Tahrim Hossain , Faisal Haque Bappy , Tarannum Shaila Zaman , Tariqul Islam

Blockchain technology has set off a wave of decentralization in the world since its birth. The trust system constructed by blockchain technology based on cryptography algorithm and computing power provides a practical and powerful solution…

计算工程、金融与科学 · 计算机科学 2025-05-08 Pengfei Gao , Dechao Kong , Xiaoqi Li

Solidity, the dominant smart contract language for Ethereum, has rapidly evolved with frequent version updates to enhance security, functionality, and developer experience. However, these continual changes introduce significant challenges,…

软件工程 · 计算机科学 2025-08-15 Likai Ye , Mengliang Li , Dehai Zhao , Jiamou Sun , Xiaoxue Ren

Blockchain-driven technologies are considered disruptive because of the availability of dis-intermediated, censorship-resistant and tamper-proof digital platforms of distributed trust. Among these technologies, smart contract platforms have…

计算机与社会 · 计算机科学 2018-03-14 Alexandra Covaci , Simone Madeo , Patrick Motylinski , Stéphane Vincent

Modern cryptocurrency systems, such as Ethereum, permit complex financial transactions through scripts called smart contracts. These smart contracts are executed many, many times, always without real concurrency. First, all smart contracts…

分布式、并行与集群计算 · 计算机科学 2017-02-16 Thomas Dickerson , Paul Gazzillo , Maurice Herlihy , Eric Koskinen

With the increasing popularity of cryptocurrencies and blockchain technology, smart contracts have become a prominent feature in developing decentralized applications. However, these smart contracts are susceptible to vulnerabilities that…

软件工程 · 计算机科学 2023-08-22 Jiachi Chen , Mingyuan Huang , Zewei Lin , Peilin Zheng , Zibin Zheng

Smart contracts, known for their immutable nature to ensure trust via automated enforcement, have evolved to require upgradeability due to unforeseen vulnerabilities and the need for feature enhancements post-deployment. This contradiction…

软件工程 · 计算机科学 2024-07-02 Ilham Qasse , Mohammad Hamdaqa , Björn Þór Jónsson

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

The security of smart contracts is critical in blockchain systems, where even minor vulnerabilities can lead to substantial financial losses. Researchers proposed several vulnerability detection tools evaluated using existing benchmarks.…

软件工程 · 计算机科学 2025-04-23 Gerardo Iuliano , Luigi Allocca , Matteo Cicalese , Dario Di Nucci

Blockchain-based distributed computing platforms enable the trusted execution of computation - defined in the form of smart contracts - without trusted agents. Smart contracts are envisioned to have a variety of applications, ranging from…

密码学与安全 · 计算机科学 2018-02-28 Anastasia Mavridou , Aron Laszka

In an increasingly complex contractual landscape, the demand for transparency, security, and efficiency has intensified. Blockchain technology, with its decentralized and immutable nature, addresses these challenges by reducing intermediary…

密码学与安全 · 计算机科学 2025-07-23 Lambard Maxence , Bertelle Cyrille , Duvallet Claude
‹ 上一页 1 8 9 10 下一页 ›