English
Related papers

Related papers: Automatic Fair Exchanges

200 papers

People increasingly use digital platforms to exchange resources in accordance with some policies stating what resources users offer and what they require in return. In this paper, we propose a formal model of these environments, focussing…

Logic in Computer Science · Computer Science 2026-02-02 Lorenzo Ceragioli , Pierpaolo Degano , Letterio Galletta , Luca Viganò

We construct a privacy-preserving, distributed and decentralized marketplace where parties can exchange data for tokens. In this market, buyers and sellers make transactions in a blockchain and interact with a third party, called notary,…

Cryptography and Security · Computer Science 2020-02-25 Ariel Futoransky , Carlos Sarraute , Daniel Fernandez , Matias Travizano , Ariel Waissbein

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…

Computer Science and Game Theory · Computer Science 2023-04-05 Nikolaj Ignatieff Schwartzbach

Before a fair exchange takes place, there is typically an advertisement phase with the goal of increasing the appeal of possessing a digital asset while keeping it sufficiently hidden. Advertisement phases are implicit in mainstream…

Cryptography and Security · Computer Science 2025-09-15 Pierpaolo Della Monica , Ivan Visconti , Andrea Vitaletti , Marco Zecchini

Traditional blockchain design gives miners or validators full control over transaction ordering, i.e., they can freely choose which transactions to include or exclude, as well as in which order. While not an issue initially, the emergence…

Distributed, Parallel, and Cluster Computing · Computer Science 2023-12-19 Andrei Constantinescu , Diana Ghinea , Lioba Heimbach , Zilin Wang , Roger Wattenhofer

The growing electricity demand and use of smart appliances are placing pressure on power grids, making efficient energy management more important than ever. The existing energy management systems often prioritize system efficiency (balanced…

Multiagent Systems · Computer Science 2026-02-05 Rabiya Khalid , Evangelos Pournaras

Cloud auctions provide cost-effective strategies for cloud VM allocation. Most existing cloud auctions simply assume that the auctioneer is trustable, and thus the fairness of auctions can be easily achieved. However, in fact, such a…

Cryptography and Security · Computer Science 2020-01-06 Zhili Chen , Wei Ding , Yan Xu , Miaomiao Tian , Hong Zhong

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…

Logic in Computer Science · Computer Science 2018-11-16 Ron van der Meyden

Currently, there is no universal method to track who shared what, with whom, when and for what purposes in a verifiable way to create an individual incentive for data owners. A platform that allows data owners to control, delete, and get…

Cryptography and Security · Computer Science 2025-10-29 Ajay Kumar Shrestha , Julita Vassileva

Multi-agents systems communication is a technology, which provides a way for multiple interacting intelligent agents to communicate with each other and with environment. Multiple-agent systems are used to solve problems that are difficult…

Multiagent Systems · Computer Science 2017-03-01 S. Ponomarev , A. E. Voronkov

The development of blockchain technologies has enabled the trustless execution of so-called smart contracts, i.e. programs that regulate the exchange of assets (e.g., cryptocurrency) between users. In a decentralized blockchain, the state…

Programming Languages · Computer Science 2020-04-28 Massimo Bartoletti , Letterio Galletta , Maurizio Murgia

The problem of a single point of failure in centralized systems poses a great challenge to the stability of such systems. Meanwhile, the tamperability of data within centralized systems makes users reluctant to trust and use centralized…

Cryptography and Security · Computer Science 2025-04-22 Ka Wai Wu

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…

Logic in Computer Science · Computer Science 2022-07-15 Martán Ceresa , César Sánchez

Traditional smart grid energy auctions cannot directly be integrated in blockchain due to its decentralized nature. Therefore, research works are being carried out to propose efficient decentralized auctions for energy trading. Since,…

Cryptography and Security · Computer Science 2021-06-29 Muneeb Ul Hassan , Mubashir Husain Rehmani , Jinjun Chen

In multiagent systems autonomous agents interact with each other to achieve individual and collective goals. Typical interactions concern negotiation and agreement on resource exchanges. Modeling and formalizing these agreements pose…

Logic in Computer Science · Computer Science 2024-08-20 Lorenzo Ceragioli , Pierpaolo Degano , Letterio Galletta , Luca Viganò

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…

Computer Science and Game Theory · Computer Science 2022-09-19 Nitin Singha , V Shreyas , Sandeep Kumar

Inspired by Bitcoin, many different kinds of cryptocurrencies based on blockchain technology have turned up on the market. Due to the special structure of the blockchain, it has been deemed impossible to directly trade between traditional…

Cryptography and Security · Computer Science 2020-05-08 Hangyu Tian , Kaiping Xue , Shaohua Li , Jie Xu , Jianqing Liu , Jun Zhao

Future wireless networks must support emerging applications where environmental awareness is as critical as data transmission. Integrated Sensing and Communication (ISAC) enables this vision by allowing base stations (BSs) to allocate…

Distributed, Parallel, and Cluster Computing · Computer Science 2025-10-01 Houyi Qi , Minghui Liwang , Seyyedali Hosseinalipour , Liqun Fu , Sai Zou , Wei Ni

Decentralized exchanges are widely used platforms for trading crypto assets. The most common types work with automated market makers (AMM), allowing traders to exchange assets without needing to find matching counterparties. Thereby,…

General Economics · Economics 2024-02-12 Matthias Hafner , Helmut Dietl

This paper introduces CrossLink, a decentralized framework for secure cross-chain smart contract execution that effectively addresses the inherent limitations of contemporary solutions, which primarily focus on asset transfers and rely on…

Cryptography and Security · Computer Science 2025-10-23 Tahrim Hossain , Faisal Haque Bappy , Tarannum Shaila Zaman , Tariqul Islam
‹ Prev 1 2 3 10 Next ›