中文
相关论文

相关论文: Immutable in Principle, Upgradeable by Design: Exp…

200 篇论文

Due to their immutable log of information, blockchains can be considered as a transparency-enhancing technology. The immutability, however, also introduces threats and challenges with respect to privacy laws and illegal content. Introducing…

密码学与安全 · 计算机科学 2021-07-01 Erik Daniel , Florian Tschorsch

Smart Contract Templates support legally-enforceable smart contracts, using operational parameters to connect legal agreements to standardised code. In this paper, we explore the design landscape of potential formats for storage and…

计算机与社会 · 计算机科学 2016-12-16 Christopher D. Clack , Vikram A. Bakshi , Lee Braine

The proxy pattern is a well-known design pattern with numerous use cases in several sectors of the software industry. As such, the use of the proxy pattern is also a common approach in the development of complex decentralized applications…

软件工程 · 计算机科学 2025-01-03 Amir M. Ebrahimi , Bram Adams , Gustavo A. Oliva , Ahmed E. Hassan

Immutability is a core design goal of permissionless public blockchain systems. However, rewrites are more common than is normally understood, and the risk of rewrite, cyberattack, exploit, or black swan event is also high. Taking the…

计算机与社会 · 计算机科学 2025-10-14 Alex Lynham , Geoff Goodell

Despite the rapid growth of smart contracts, they are suffering numerous security vulnerabilities due to the absence of reliable development and testing. In this article, we apply the metamorphic testing technique to detect smart contract…

软件工程 · 计算机科学 2023-03-07 Jiahao Li

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

Proliferation of IoT devices in society demands a renewed focus on securing the use and maintenance of such systems. IoT-based systems will have a great impact on society and therefore such systems must have guaranteed resilience. We…

密码学与安全 · 计算机科学 2020-07-07 John Wickström , Magnus Westerlund , Göran Pulkkis

The potential for blockchain technology to eliminate the middleman and replace the top down hierarchical model of governance with a system of distributed cooperation has opened up many new opportunities, as well as dilemmas. Surpassing the…

软件工程 · 计算机科学 2023-04-12 Simona Ramos , Morshed Mannan

This study develops and analyzes an optimization model of smart contract adoption under bounded risk, linking structural theory with simulation and real-world validation. We examine how adoption intensity alpha is structurally pinned at a…

综合金融 · 定量金融 2025-10-09 Jinho Cha , Long Pham , Thi Le Hoa Vo , Jaeyoung Cho , Jaejin Lee

Blockchains are widely recognized for their immutability, which provides robust guarantees of data integrity and transparency. However, this same feature poses significant challenges in real-world situations that require regulatory…

密码学与安全 · 计算机科学 2025-08-13 Federico Calandra , Marco Bernardo , Andrea Esposito , Francesco Fabris

Non-fungible tokens(NFTs) are on the rise. They can represent artworks exhibited for marketing purposes on webpages of companies or online stores -- analogously to physical artworks. Lending of NFTs is an attractive form of passive income…

计算机与社会 · 计算机科学 2023-08-07 Alfred Sopi , Johannes Schneider , Jan vom Brocke

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

Ethereum has become a widely used platform to enable secure, Blockchain-based financial and business transactions. However, a major concern in Ethereum is the security of its smart contracts. Many identified bugs and vulnerabilities in…

软件工程 · 计算机科学 2020-05-21 Zhipeng Gao , Vinoj Jayasundara , Lingxiao Jiang , Xin Xia , David Lo , John Grundy

Smart contracts are programs that are executed on a blockhain. They have been used for applications in voting, decentralized finance, and supply chain management. However, vulnerabilities in smart contracts have been abused by hackers,…

编程语言 · 计算机科学 2021-10-19 Timothy Mou , Michael Coblenz , Jonathan Aldrich

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

Ethereum, a leading blockchain platform, has revolutionized the digital economy by enabling decentralized transactions and the execution of smart contracts. Ethereum transactions form the backbone of its network, facilitating peer-to-peer…

分布式、并行与集群计算 · 计算机科学 2025-07-30 Dvir David Biton , Roy Friedman , Yaron Hay

Embodied agents increasingly rely on modular capabilities that can be installed, upgraded, composed, and governed at runtime. Prior work has introduced embodied capability modules (ECMs) as reusable units of embodied functionality, and…

软件工程 · 计算机科学 2026-04-16 Xue Qin , Simin Luan , John See , Cong Yang , Zhijun Li

The hype about Bitcoin has overrated the potential of smart contracts deployed on-blockchains (on-chains) and underrated the potential of smart contracts deployed on-Trusted Third Parties (on-TTPs). As a result, current research and…

网络与互联网体系结构 · 计算机科学 2020-10-27 Carlos Molina-Jimenez , Ioannis Sfyrakis , Linmao Song , Hazem Danny Al Nakib , Jon Crowcroft

In this paper, we investigate the strategies adopted by Solidity developers to fix security vulnerabilities in smart contracts. Vulnerabilities are categorized using the DASP TOP 10 taxonomy, and fixing strategies are extracted from GitHub…

Delegation of cryptographic signing rights has found many application in the literature and the real world. However, despite very advanced functionalities and specific use cases, existing solutions share the natural limitation that the…

密码学与安全 · 计算机科学 2022-10-07 Stephan Krenn , Thomas Lorünser