中文
相关论文

相关论文: PonziLens+: Visualizing Bytecode Actions for Smart…

200 篇论文

With the development of Web 3.0 which emphasizes decentralization, blockchain technology ushers in its revolution and also brings numerous challenges, particularly in the field of cryptocurrency. Recently, a large number of criminal…

机器学习 · 计算机科学 2024-04-02 Chengxiang Jin , Jiajun Zhou , Jie Jin , Jiajing Wu , Qi Xuan

Smart contracts deployed on blockchains such as Ethereum routinely manage large amounts of assets, making their security critical. Empirical studies show that real-world attacks often exploit flaws in the business logic of contracts that…

密码学与安全 · 计算机科学 2026-04-16 Massimo Bartoletti , Angelo Ferrando , Enrico Lipparini , Vadim Malvone

In recent years, manifold blockchain protocols have been proposed by researchers and industrial companies alike. This has led to a very heterogeneous blockchain landscape. Accordingly, it would be desirable if blockchains could interact…

密码学与安全 · 计算机科学 2021-06-29 Markus Nissl , Emanuel Sallinger , Stefan Schulte , Michael Borkowski

Blockchain smart contracts have catalyzed the development of decentralized applications across various domains, including decentralized finance. However, due to constraints in computational resources and the prevalence of data silos,…

分布式、并行与集群计算 · 计算机科学 2024-12-09 Youquan Xian , Xueying Zeng , Duancheng Xuan , Danping Yang , Chunpei Li , Peng Fan , Peng Liu

The emerging blockchain technology supports decentralized computing paradigm shift and is a rapidly approaching phenomenon. While blockchain is thought primarily as the basis of Bitcoin, its application has grown far beyond cryptocurrencies…

密码学与安全 · 计算机科学 2020-06-23 Reza M. Parizi , Ali Dehghantanha , Kim-Kwang Raymond Choo , Amritraj Singh

When blockchain systems are said to be trustless, what this really means is that all the trust is put into software. Thus, there are strong incentives to ensure blockchain software is correct -- vulnerabilities here cost millions and break…

软件工程 · 计算机科学 2025-10-20 Jan Corazza , Ivan Gavran , Gabriela Moreira , Daniel Neider

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

Blockchain systems and smart contracts provide ways to securely implement multi-party transactions without the use of trusted intermediaries, which currently underpin many commercial transactions. However, they do so by transferring trust…

计算机科学中的逻辑 · 计算机科学 2018-11-16 Ron van der Meyden

Smart contracts are programs running on cryptocurrency (e.g., Ethereum) blockchains, whose popularity stem from the possibility to perform financial transactions, such as payments and auctions, in a distributed environment without need for…

密码学与安全 · 计算机科学 2018-04-24 Ilya Grishchenko , Matteo Maffei , Clara Schneidewind

Reentrancy, a notorious vulnerability in smart contracts, has led to millions of dollars in financial loss. However, current smart contract vulnerability detection tools suffer from a high false positive rate in identifying contracts with…

密码学与安全 · 计算机科学 2024-03-29 Shuo Yang , Jiachi Chen , Mingyuan Huang , Zibin Zheng , Yuan Huang

Ethereum smart contracts are an innovation built on top of the blockchain technology, which provides a platform for automatically executing contracts in an anonymous, distributed, and trusted way. The problem is magnified by the fact that…

密码学与安全 · 计算机科学 2019-11-07 Jialiang Chang , Bo Gao , Hao Xiao , Jun Sun , Yan Cai , Zijiang Yang

The proliferation of spam on the Web has necessitated the development of machine learning models to automate their detection. However, the dynamic nature of spam and the sophisticated evasion techniques employed by spammers often lead to…

密码学与安全 · 计算机科学 2024-10-02 Noah Kader , Inwon Kang , Oshani Seneviratne

We introduce SCooLS, our Smart Contract Learning (Semi-supervised) engine. SCooLS uses neural networks to analyze Ethereum contract bytecode and identifies specific vulnerable functions. SCooLS incorporates two key elements: semi-supervised…

密码学与安全 · 计算机科学 2023-10-19 Tamer Abdelaziz , Aquinas Hobor

Smart 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…

软件工程 · 计算机科学 2024-08-20 Ruichao Liang , Jing Chen , Cong Wu , Kun He , Yueming Wu , Ruochen Cao , Ruiying Du , Yang Liu , Ziming Zhao

Identity documentation for refugees is a complex process and crucial for host nations. A secured identity management system ensures both security and the efficient provision of services for the host nation and the donor organizations.…

密码学与安全 · 计算机科学 2023-10-31 Md Taimur Ahad , Yousuf Rayhan Emon

The detection of vulnerabilities in smart contracts remains a significant challenge. While numerous tools are available for analyzing smart contracts in source code, only about 1.79% of smart contracts on Ethereum are open-source. For…

密码学与安全 · 计算机科学 2025-09-04 Wenkai Li , Xiaoqi Li , Yingjie Mao , Yuqing Zhang

In recent years, Ethereum gained tremendously in popularity, growing from a daily transaction average of 10K in January 2016 to an average of 500K in January 2020. Similarly, smart contracts began to carry more value, making them appealing…

密码学与安全 · 计算机科学 2021-01-18 Christof Ferreira Torres , Antonio Ken Iannillo , Arthur Gervais , Radu State

Hackers may create malicious solidity programs and deploy it in the Ethereum block chain. These malicious smart contracts try to attack legitimate programs by exploiting its vulnerabilities such as reentrancy, tx.origin attack, bad…

密码学与安全 · 计算机科学 2025-12-10 Roopak Surendran

In Ethereum, the practice of verifying the validity of the passed addresses is a common practice, which is a crucial step to ensure the secure execution of smart contracts. Vulnerabilities in the process of address verification can lead to…

密码学与安全 · 计算机科学 2024-06-03 Tianle Sun , Ningyu He , Jiang Xiao , Yinliang Yue , Xiapu Luo , Haoyu Wang

Smart contracts are programs running on top of blockchain platforms. They interact with each other through well-defined interfaces to perform financial transactions in a distributed system with no trusted third parties. But these interfaces…

密码学与安全 · 计算机科学 2019-02-19 Yu Feng , Emina Torlak , Rastislav Bodik