中文
相关论文

相关论文: A comprehensive survey on smart contract construct…

200 篇论文

In the past decade, blockchain has shown a promising vision greatly to build the trust without any powerful third party in a secure, decentralized and salable manner. However, due to the wide application and future development from…

分布式、并行与集群计算 · 计算机科学 2021-05-11 Bin Cao , Zixin Wang , Long Zhang , Daquan Feng , Mugen Peng , Lei Zhang

Although almost all information about Smart Contract addresses is shared via websites, emails, or other forms of digital communication, Blockchains and distributed ledger technology are unable to establish secure bindings between websites…

密码学与安全 · 计算机科学 2020-04-30 Ulrich Gallersdörfer , Florian Matthes

The widespread recognition of the smart contracts has established their importance in the landscape of next generation blockchain technology. However, writing a correct smart contract is notoriously difficult. Moreover, once a…

软件工程 · 计算机科学 2019-11-26 Xinming Wang , Zhijian Xie , Jiahao He , Gansen Zhao , Nie Ruihua

Ethereum smart contracts, which are autonomous decentralized applications on the blockchain that manage assets often exceeding millions of dollars, have become primary targets for cyberattacks. In 2023 alone, such vulnerabilities led to…

密码学与安全 · 计算机科学 2023-12-29 Christoph Sendner , Lukas Petzi , Jasper Stang , Alexandra Dmitrienko

The Bitcoin white paper introduced blockchain technology, enabling trustful transactions without intermediaries. Smart contracts emerged with Ethereum and blockchains expanded beyond cryptocurrency, applying to auctions, crowdfunding and…

密码学与安全 · 计算机科学 2025-01-08 Aldenio Burgos , Eduardo Alchieri

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

Smart contracts on blockchains are prone to diverse security vulnerabilities that can lead to significant financial losses due to their immutable nature. Existing detection approaches often lack flexibility across vulnerability types and…

密码学与安全 · 计算机科学 2026-05-06 Xing Zhang , Keyu Zhang , Taohong Zhu , Anbang Ruan

Smart manufacturing systems involve a large number of interconnected devices resulting in massive data generation. Cloud computing technology has recently gained increasing attention in smart manufacturing systems for facilitating…

密码学与安全 · 计算机科学 2023-04-27 Aditya Pribadi Kalapaaking , Ibrahim Khalil , Mohammad Saidur Rahman , Abdelaziz Bouras

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

Large commercial buildings are complex cyber-physical systems containing expensive and critical equipment that ensure the safety and comfort of their numerous occupants. Yet occupant and visitor access to spaces and equipment within these…

密码学与安全 · 计算机科学 2021-08-19 Leepakshi Bindra , Kalvin Eng , Omid Ardakanian , Eleni Stroulia

Smart contracts with external data are crucial for functionality but pose security and reliability concerns. Statistical and quantitative studies on this interaction are scarce. To address this gap, we analyzed 10,500 smart contracts,…

密码学与安全 · 计算机科学 2026-02-10 Yishun Wang , Xiaoqi Li , Shipeng Ye , Lei Xie , Ju Xing

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 homes are a special use-case of the Internet-of-Things (IoT) paradigm. Security and privacy are two prime concern in smart home networks. A threat-prone smart home can reveal lifestyle and behavior of the occupants, which may be a…

密码学与安全 · 计算机科学 2019-05-07 Nisha Panwar , Shantanu Sharma , Sharad Mehrotra , Łukasz Krzywiecki , Nalini Venkatasubramanian

The immutability of smart contracts on blockchain platforms like Ethereum promotes security and trustworthiness but presents challenges for updates, bug fixes, or adding new features post-deployment. These limitations can lead to…

软件工程 · 计算机科学 2025-04-04 Ilham Qasse , Isra M. Ali , Nafisa Ahmed , Mohammad Hamdaqa , Björn Þór Jónsson

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

In recent years, smart contracts have suffered major exploits, costing millions of dollars. Unlike traditional programs, smart contracts are deployed on a blockchain. As such, they cannot be modified once deployed. Though various tools have…

Smart contracts are computer programs that are executed by a network of mutually distrusting agents, without the need of an external trusted authority. Smart contracts handle and transfer assets of considerable value (in the form of…

编程语言 · 计算机科学 2018-06-19 Krishnendu Chatterjee , Amir Kafshdar Goharshady , Yaron Velner

Smart contracts are pieces of code that reside inside the blockchains and can be triggered to execute any transaction when specifically predefined conditions are satisfied. Being commonly used for commercial transactions in blockchain makes…

密码学与安全 · 计算机科学 2023-06-13 Yilin Wang , Xiangping Chen , Yuan Huang , Hao-Nan Zhu , Jing Bian , Zibin Zheng

Interoperability is a significant challenge in blockchain technology, hindering seamless data and service sharing across diverse blockchain networks. This study introduces Automated Gateways as a novel framework leveraging smart contracts…

分布式、并行与集群计算 · 计算机科学 2024-09-24 Koosha Esmaeilzadeh Khorasani , Sara Rouhani , Rui Pan , Vahid Pourheidari

Smart contracts on the blockchain offer decentralized financial services but often lack robust security measures, leading to significant economic losses. While substantial research has focused on identifying vulnerabilities in smart…

密码学与安全 · 计算机科学 2024-10-18 Youwei Huang , Sen Fang , Jianwen Li , Bin Hu , Tao Zhang