中文
相关论文

相关论文: Supporting Long-term Transactions in Smart Contrac…

200 篇论文

Smart contracts are a key component of the Web 3.0 ecosystem, widely applied in blockchain services and decentralized applications. However, the automated execution feature of smart contracts makes them vulnerable to potential attacks due…

密码学与安全 · 计算机科学 2025-05-26 Yanli Jin , Chunpei Li , Peng Fan , Peng Liu , Xianxian Li , Chen Liu , Wangjie Qiu

One of the key challenges in the collaboration within heterogeneous multi-robot systems is the optimization of the amount and type of data to be shared between robots with different sensing capabilities and computational resources. In this…

密码学与安全 · 计算机科学 2020-07-07 Jorge Peña Queralta , Tomi Westerlund

We propose a smart contract that allows two mutually distrusting parties to transact any non-digital good or service by deploying a smart contract on a blockchain to act as escrow. The contract settles disputes by letting parties wager that…

计算机科学与博弈论 · 计算机科学 2023-04-05 Nikolaj Ignatieff Schwartzbach

Symbolic analysis of security exploits in smart contracts has demonstrated to be valuable for analyzing predefined vulnerability properties. While some symbolic tools perform complex analysis steps, they require a predetermined invocation…

密码学与安全 · 计算机科学 2019-06-10 Wesley Joon-Wie Tann , Xing Jie Han , Sourav Sen Gupta , Yew-Soon Ong

Programmable blockchains have long been a hot research topic given their tremendous use in decentralized applications. Smart contracts, using blockchains as their underlying technology, inherit the desired properties such as verifiability,…

密码学与安全 · 计算机科学 2025-08-19 Zhaorun Lin

Blockchain technology (BT) Ethereum Smart Contracts allows programmable transactions that involve the transfer of monetary assets among peers on a BT network independent of a central authorizing agency. Ethereum Smart Contracts are programs…

密码学与安全 · 计算机科学 2021-05-21 Noama Fatima Samreen , Manar H. Alalfi

UTXO-based smart contract platforms face an efficiency bottleneck, in that any transaction sent to a contract must specify the entire updated contract state. This requirement becomes particularly burdensome when the contract state contains…

密码学与安全 · 计算机科学 2026-02-03 Massimo Bartoletti , Riccardo Marchesin , Roberto Zunino

Blockchain systems come with the promise of being inclusive for a variety of decentralized applications (DApps) that can serve different purposes and have different urgency requirements. Despite this, the transaction fee mechanisms…

计算机科学与博弈论 · 计算机科学 2023-04-13 Aggelos Kiayias , Elias Koutsoupias , Philip Lazos , Giorgos Panagiotakos

Growing consumer awareness as well as manufacturers' internal quality requirements lead to novel demands on supply chain traceability. Existing centralized solutions suffer from isolated data storage and lacking trust when multiple parties…

计算机与社会 · 计算机科学 2018-10-24 Martin Westerkamp , Friedhelm Victor , Axel Küpper

The Decision Model and Notation (DMN) is a standard notation to capture decision logic in business applications in general and business processes in particular. A central construct in DMN is that of a decision table. The increasing use of…

软件工程 · 计算机科学 2016-03-25 Diego Calvanese , Marlon Dumas , Ülari Laurson , Fabrizio M. Maggi , Marco Montali , Irene Teinemaa

This paper introduces peer to peer (P2P) trading mechanisms based on decentralized Blockchain to facilitate retail electricity market for ever-increasing distributed energy resources (DERs). The Blockchain network supports fast and secure…

系统与控制 · 电气工程与系统科学 2024-03-12 Masoud H. Nazari , Antar Kumar Biswas

The ability of tracing states of logistic transportations requires an efficient storage and retrieval of the state of logistic transportations and locations of logistic objects. However, the restriction of sharing states and locations of…

密码学与安全 · 计算机科学 2025-03-13 Xiaoping Sun , Sirui Zhuge , Hai Zhuge

Distributed Ledger Technology (DLT) has an enormous potential but also downsides. One downside of many DLT systems, such as blockchain, is their limited transaction throughput that hinders their adoption in many use cases (e.g., real-time…

密码学与安全 · 计算机科学 2024-10-28 J. Kalbantner , K. Markantonakis , D. Hurley-Smith , C. Shepherd , B. Semal

Recently, blockchain has gained momentum in the academic community thanks to its decentralization, immutability, transparency and security. As an emerging paradigm, Multi-access Edge Computing (MEC) has been widely used to provide…

网络与互联网体系结构 · 计算机科学 2020-01-23 Dinh C Nguyen , Pubudu N Pathirana , Ming Ding , Aruna Seneviratne

The emerging cryptocurrency market has lately received great attention for asset allocation due to its decentralization uniqueness. However, its volatility and brand new trading mode have made it challenging to devising an acceptable…

机器学习 · 计算机科学 2021-10-19 Fengrui Liu , Yang Li , Baitong Li , Jiaxin Li , Huiyang Xie

Recently, the blockchain technique was put in the spotlight as it introduced a systematic approach for multiple parties to reach consensus without needing trust. However, the application of this technique in practice is severely restricted…

分布式、并行与集群计算 · 计算机科学 2017-07-17 Zhijie Ren , Kelong Cong , Johan Pouwelse , Zekeriya Erkin

Cellular networking is advancing as a wireless technology to support diverse applications in vehicular communication, enabling vehicles to interact with various applications to enhance the driving experience, even when managed by different…

密码学与安全 · 计算机科学 2025-02-24 SangHyun Byun , Arijet Sarker , Sang-Yoon Chang , Jugal Kalita

In peer-to-peer (P2P) energy trading, a secured infrastructure is required to manage trade and record monetary transactions. A central server/authority can be used for this. But there is a risk of central authority influencing the energy…

计算机科学与博弈论 · 计算机科学 2022-09-19 Nitin Singha , V Shreyas , Sandeep Kumar

Blockchain technology is gaining momentum across many sectors. Whereas blockchain solutions have important positive effects on the business domain, they also introduce constraints and may cause delayed or unforeseen negative effects,…

软件工程 · 计算机科学 2025-12-16 Eddy Kiomba Kambilo , Nicolas Herbaut , Irina Rychkova , Carine Souveyet

The fast growth of distributed energy resources (DERs), such as distributed renewables (e.g., rooftop PV panels), energy storage systems, electric vehicles, and controllable appliances, drives the power system toward a decentralized system…

分布式、并行与集群计算 · 计算机科学 2022-01-19 Qing Yang , Hao Wang