中文
相关论文

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

200 篇论文

Ethereum smart contracts hold tens of billions of USD in DeFi and NFTs, yet comprehensive security analysis remains difficult due to unverified code, proxy-based architectures, and the reliance on manual inspection of complex execution…

密码学与安全 · 计算机科学 2025-09-04 Shuzheng Wang , Yue Huang , Zhuoer Xu , Yuming Huang , Jing Tang

In the realm of smart contract security, transaction malice detection has been able to leverage properties of transaction traces to identify hacks with high accuracy. However, these methods cannot be applied in real-time to revert malicious…

计算机科学中的逻辑 · 计算机科学 2024-08-28 Zhiyang Chen , Jan Gorzny , Martin Derka

Cryptocurrency has seen an explosive growth in recent years, thanks to the evolvement of blockchain technology and its economic ecosystem. Besides Bitcoin, thousands of cryptocurrencies have been distributed on blockchains, while hundreds…

密码学与安全 · 计算机科学 2020-06-12 Ru Ji , Ningyu He , Lei Wu , Haoyu Wang , Guangdong Bai , Yao Guo

An appealing feature of blockchain technology is smart contracts. A smart contract is executable code that runs on top of the blockchain to facilitate, execute and enforce an agreement between untrusted parties without the involvement of a…

密码学与安全 · 计算机科学 2017-10-18 Maher Alharby , Aad van Moorsel

Ethereum smart contracts are programs that run on the Ethereum blockchain, and many smart contract vulnerabilities have been discovered in the past decade. Many security analysis tools have been created to detect such vulnerabilities, but…

密码学与安全 · 计算机科学 2021-01-11 Nami Ashizawa , Naoto Yanai , Jason Paul Cruz , Shingo Okamura

As blockchain technology continues to evolve, the security of smart contracts has increasingly drawn attention from both academia and industry. The Move language, with its unique resource model and linear type system, provides a solid…

密码学与安全 · 计算机科学 2026-02-03 Yuhe Luo , Zhongwen Li , Xiaoqi Li

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

Modern blockchains, such as Ethereum, enable the execution of so-called smart contracts - programs that are executed across a decentralised network of nodes. As smart contracts become more popular and carry more value, they become more of…

密码学与安全 · 计算机科学 2019-05-31 Christof Ferreira Torres , Mathis Steichen , Radu State

Smart contracts, as a key component of blockchain technology, play a crucial role in ensuring the automation of transactions and adherence to protocol rules. However, smart contracts are susceptible to security vulnerabilities, which, if…

密码学与安全 · 计算机科学 2024-02-20 Yuying Du , Xueyan Tang

Smart contracts, closely intertwined with cryptocurrency transactions, have sparked widespread concerns about considerable financial losses of security issues. To counteract this, a variety of tools have been developed to identify…

密码学与安全 · 计算机科学 2025-02-26 Guokai Sun , Yuan Zhuang , Shuo Zhang , Xiaoyu Feng , Zhenguang Liu , Liguo Zhang

We propose BlockScan, a customized Transformer for anomaly detection in blockchain transactions. Unlike existing methods that rely on rule-based systems or directly apply off-the-shelf large language models (LLMs), BlockScan introduces a…

密码学与安全 · 计算机科学 2025-10-22 Jiahao Yu , Xian Wu , Hao Liu , Wenbo Guo , Xinyu Xing

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

Since the inception of permissionless blockchains with Bitcoin in 2008, it became apparent that their most well-suited use case is related to making the financial system and its advantages available to everyone seamlessly without depending…

综合金融 · 定量金融 2023-06-16 Georgios Palaiokrassas , Sandro Scherrers , Iason Ofeidis , Leandros Tassiulas

Billions of dollars are transacted through smart contracts, making vulnerabilities a major financial risk. One focus in the security arms race is on profitable vulnerabilities that attackers can exploit. Fuzzing is a key method for…

密码学与安全 · 计算机科学 2025-02-13 Ziqiao Kong , Cen Zhang , Maoyi Xie , Ming Hu , Yue Xue , Ye Liu , Haijun Wang , Yang Liu

Financial systems have a growing reliance on computer-based and distributed systems, making FinTech systems vulnerable to advanced and quickly emerging cyber-criminal threats. Traditional security systems and fixed machine learning systems…

密码学与安全 · 计算机科学 2026-03-26 Gunjan Mishra , Yash Mishra

Blockchains facilitate secure resource transactions through smart contracts, yet these digital agreements are prone to vulnerabilities, particularly when interacting with external contracts, leading to substantial monetary losses.…

密码学与安全 · 计算机科学 2024-07-04 Haojia Sun , Kunal Singh , Jan-Paul Ramos-Dávila , Jonathan Aldrich , Jenna DiVincenzo

Smart contracts are self-executing programs on blockchain platforms like Ethereum, which have revolutionized decentralized finance by enabling trustless transactions and the operation of decentralized applications. Despite their potential,…

软件工程 · 计算机科学 2026-03-25 Gerardo Iuliano , Dario Di Nucci

Blockchain has become particularly popular due to its promise to support business-critical services in very different domains (e.g., retail, supply chains, healthcare). Blockchain systems rely on complex middleware, like Ethereum or…

Blockchain is a distributed ledger technology that gained popularity for enabling the transformation of cryptocurrency among peers without mediation by a centralized third-party authority. Smart contracts expand the applications of…

密码学与安全 · 计算机科学 2023-10-09 Majd Soud , Gísli Hjálmtýsson , Mohammad Hamdaqa

Smart contracts, integral to blockchain ecosystems, enable decentralized applications to execute predefined operations without intermediaries. Their ability to enforce trustless interactions has made them a core component of platforms such…

密码学与安全 · 计算机科学 2025-06-10 Mesut Ozdag