中文
相关论文

相关论文: From Contracts to Code: Automating Smart Contract …

200 篇论文

With the rapid advancement of blockchain technology, smart contracts have enabled the implementation of increasingly complex functionalities. However, ensuring the security of smart contracts remains a persistent challenge across the stages…

密码学与安全 · 计算机科学 2025-05-01 Yuchen Ding , Hongli Peng , Xiaoqi Li

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

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

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 the building blocks of the "code is law" paradigm: the smart contract's code indisputably describes how its assets are to be managed - once it is created, its code is typically immutable. Faulty smart contracts present…

软件工程 · 计算机科学 2022-05-17 Pedro Antonino , Juliandson Ferreira , Augusto Sampaio , A. W. Roscoe

With the increase of the adoption of blockchain technology in providing decentralized solutions to various problems, smart contracts have become more popular to the point that billions of US Dollars are currently exchanged every day through…

密码学与安全 · 计算机科学 2023-01-24 Feng Mi , Chen Zhao , Zhuoyi Wang , Sadaf MD Halim , Xiaodi Li , Zhouxiang Wu , Latifur Khan , Bhavani Thuraisingham

Blockchain-based platforms are emerging as a transformative technology that can provide reliability, integrity, and auditability without trusted entities. One of the key features of these platforms is the trustworthy decentralized execution…

计算机与社会 · 计算机科学 2020-01-20 Afiya Ayman , Shanto Roy , Amin Alipour , Aron Laszka

The emergence of blockchain technology has revolutionized contract execution through the introduction of smart contracts. Ethereum, the leading blockchain platform, leverages smart contracts to power decentralized applications (DApps),…

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

The digital transformation of companies is expected to increase the digital interconnection between different companies to develop optimized, customized, hybrid business models. These cross-company business models require secure, reliable,…

密码学与安全 · 计算机科学 2020-07-29 Kevin Wallis , Jan Stodt , Eugen Jastremskoj , Christoph Reich

While the blockchain-based smart contract has become a hot topic of research over the last decade, not the least in the context of Industry 4.0, it now has well-known legal and technical shortcomings that currently prohibit its real-world…

软件工程 · 计算机科学 2024-08-13 Emanuel Palm , Ulf Bodin , Olov Schelén

Smart contracts hold digital coins worth billions of dollars, their security issues have drawn extensive attention in the past years. Towards smart contract vulnerability detection, conventional methods heavily rely on fixed expert rules,…

机器学习 · 计算机科学 2021-06-18 Zhenguang Liu , Peng Qian , Xiang Wang , Lei Zhu , Qinming He , Shouling Ji

Blockchains are maintained by a network of participants that run algorithms designed to maintain collectively a distributed machine tolerant to Byzantine attacks. From the point of view of users, blockchains provide the illusion of…

计算机科学中的逻辑 · 计算机科学 2022-07-15 Martán Ceresa , César Sánchez

With technological advances and the establishment of e-commerce models, business challenges have shifted to online platforms. The promise of embedding self-executing and autonomous programs into blockchain technologies has attracted…

计算机与社会 · 计算机科学 2022-08-03 Kamal Kishor Singh

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 on a blockchain behave precisely as specified by their code. A vulnerability in this code can lead to unexpected behaviour, which is hard to fix because a blockchain does not allow to change smart contract code after its…

编程语言 · 计算机科学 2019-11-27 Markus Knecht

Recently, smart contracts have played a vital role in automatic financial and business transactions. To help end users without programming background to better understand the logic of smart contracts, previous studies have proposed models…

软件工程 · 计算机科学 2025-03-20 Jianhang Xiang , Zhipeng Gao , Lingfeng Bao , Xing Hu , Jiayuan Chen , Xin Xia

Blockchain technologies, such as smart contracts, present a unique interface for machine-to-machine communication that provides a secure, append-only record that can be shared without trust and without a central administrator. We study the…

计算机与社会 · 计算机科学 2019-01-09 Yuichi Hanada , Luke Hsiao , Philip Levis

Smart contracts are small but highly security-critical programs that implement wallets, token systems, auctions, crowd funding systems, elections, and other multi-party transactions on the blockchain. A broad range of methods has been…

计算机科学中的逻辑 · 计算机科学 2023-07-11 Norine Coenen , Bernd Finkbeiner , Jana Hofmann , Julia Tillman

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

The advent of blockchain technology and its adoption across various sectors have raised critical discussions about the need for regulatory mechanisms to ensure consumer protection, maintain financial stability, and address privacy concerns…

密码学与安全 · 计算机科学 2024-07-16 Oshani Seneviratne