中文
相关论文

相关论文: Smart Contract Security: a Practitioners' Perspect…

200 篇论文

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

Smart contracts are a secure and trustworthy application that plays a vital role in decentralized applications in various fields such as insurance,the internet, and gaming. However, in recent years, smart contract security breaches have…

密码学与安全 · 计算机科学 2026-01-19 Jixuan Wu , Lei Xie , Xiaoqi Li

As the Ethereum platform continues to mature and gain widespread usage, it is crucial to maintain high standards of smart contract writing practices. While bad practices in smart contracts may not directly lead to security issues, they…

密码学与安全 · 计算机科学 2026-02-03 Xiaoqi Li , Zongwei Li , Wenkai Li , Yuqing Zhang , Xin Wang

Cybersecurity is an inherent characteristic that should be addressed before the large deployment of smart city applications. Recently, Blockchain appears as a promising technology to provide several cybersecurity aspects of smart city…

密码学与安全 · 计算机科学 2022-06-07 Omar Cheikhrouhou , Ichrak Amdouni , Khaleel Mershad , Maryem Ammi , Tuan Nguyen Gia

With the development of blockchain technology, smart contracts have become an important component of blockchain applications. Despite their crucial role, the development of smart contracts may introduce vulnerabilities and potentially lead…

软件工程 · 计算机科学 2025-07-14 Chong Chen , Jianzhong Su , Jiachi Chen , Yanlin Wang , Tingting Bi , Jianxing Yu , Yanli Wang , Xingwei Lin , Ting Chen , Zibin Zheng

Smart contracts play a vital role in the Ethereum ecosystem. Due to the prevalence of kinds of security issues in smart contracts, the smart contract verification is urgently needed, which is the process of matching a smart contract's…

密码学与安全 · 计算机科学 2023-07-04 Pengxiang Ma , Ningyu He , Yuhua Huang , Haoyu Wang , Xiapu Luo

Blockchains are decentralized systems that provide trustable execution guarantees. Smart contracts are programs written in specialized programming languages running on blockchains that govern how tokens and cryptocurrency are sent and…

计算机科学中的逻辑 · 计算机科学 2024-01-23 Margarita Capretto , Martin Ceresa , Cesar Sanchez

This work assesses the impact of blockchain and smart contract on the visibility of construction supply chain and in the context of payments (intersection of cash and product flows). It uses comparative empirical experiments (Charrette Test…

密码学与安全 · 计算机科学 2021-04-16 Hesam Hamledari , Martin Fischer

Cryptocurrencies have received a lot of research attention in recent years following the release of the first cryptocurrency Bitcoin. With the rise in cryptocurrency transactions, the need for smart contracts has also increased. Smart…

密码学与安全 · 计算机科学 2022-05-17 Aritra Banerjee , Michael Clear , Hitesh Tewari

In this paper, we present the first large-scale empirical study of smart contract dependencies, analyzing over 41 million contracts and 11 billion interactions on Ethereum up to December 2024. Our results yield four key insights: (1) 59% of…

软件工程 · 计算机科学 2025-04-03 Monica Jin , Raphina Liu , Martin Monperrus

We identify a subtle security issue that impacts the design of smart contracts, because agents may themselves deploy smart contracts (side contracts). Typically, equilibria of games are analyzed in vitro, under the assumption that players…

计算机科学与博弈论 · 计算机科学 2023-05-05 Daji Landis , Nikolaj I. Schwartzbach

System safety refers to a diverse engineering discipline assessing and improving various aspects of safety in socio-technical systems and their software-intensive sub-systems. While system safety has been a vital area of applied research…

软件工程 · 计算机科学 2018-12-21 Mario Gleirscher , Anne Nyokabi

As the Ethereum platform continues to mature and gain widespread usage, it is crucial to maintain high standards of smart contract writing practices. While bad practices in smart contracts may not directly lead to security issues, they do…

计算与语言 · 计算机科学 2026-02-03 Zongwei Li , Xiaoqi Li , Wenkai Li , Xin Wang

Smart contract (SC) is an extension of BlockChain technology. Ethereum BlockChain was the first to incorporate SC and thus started a new era of crypto-currencies and electronic transactions. Solidity helps to program the SCs. Still, soon…

密码学与安全 · 计算机科学 2021-01-01 Zulfiqar Ali Khan , Akbar Siami Namin

When migrating smart contracts from one blockchain platform to another, there are potential security risks. This is because different blockchain platforms have different environments and characteristics for executing smart contracts. The…

密码学与安全 · 计算机科学 2024-07-30 Xueyan Tang , Lingzhi Shi

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

Blockchain and smart contracts have emerged as revolutionary technologies transforming distributed computing. While platform evolution and smart contracts' inherent immutability necessitate migrations both across and within chains,…

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

Since the emergence of blockchain technology, its application in the financial market has always been an area of focus and exploration by all parties. With the characteristics of anonymity, trust, tamper-proof, etc., blockchain technology…

统计金融 · 定量金融 2022-04-21 Ji Liu , Zheng Xu , Yanmei Zhang , Wei Dai , Hao Wu , Shiping Chen

Smart contracts are distributed, self-enforcing programs executing on top of blockchain networks. They have the potential to revolutionize many industries such as financial institutes and supply chains. However, smart contracts are subject…

密码学与安全 · 计算机科学 2021-01-07 Tai D. Nguyen , Long H. Pham , Jun Sun

Smart contracts provide the means to stipulate rules of interaction between mutually distrustful organizations. They encode contractual agreements on the basis of source code, which else need to be contractualized in natural language. While…

分布式、并行与集群计算 · 计算机科学 2022-07-07 Tobias Eichinger , Marcel Ebermann