English
Related papers

Related papers: Towards blockchain-based robonomics: autonomous ag…

200 papers

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

Blockchain is a type of decentralized distributed network which acts as an immutable digital ledger. Despite the absence of any central governing authority to validate the blocks in the ledger, it is considered secure and immutable due to…

Distributed, Parallel, and Cluster Computing · Computer Science 2021-09-07 Shashank Joshi

The blockchain concept forms the backbone of a new wave technology that promises to be deployed extensively in a wide variety of industrial and societal applications. Governments, financial institutions, banks, industrial supply chains,…

Computer Science and Game Theory · Computer Science 2020-01-17 Shivika Narang

In the era of digital markets, the challenge for consumers is discerning quality amidst information asymmetry. While traditional markets use brand mechanisms to address this issue, transferring such systems to internet-based P2P markets,…

Computational Engineering, Finance, and Science · Computer Science 2026-01-07 H. Wen , T. Huang , D. Xiao

Blockchain technology is a crypto-based secure ledger for data storage and transfer through decentralized, trustless peer-to-peer systems. Despite its advantages, previous studies have shown that the technology is not completely secure…

Cryptography and Security · Computer Science 2020-12-07 Ranwa Al Mallah , Bilal Farooq

Decentralized blockchain platforms have enabled the secure exchange of crypto-assets without the intermediation of trusted authorities. To this purpose, these platforms rely on a peer-to-peer network of byzantine nodes, which…

Cryptography and Security · Computer Science 2023-06-22 Massimo Bartoletti , Letterio Galletta , Maurizio Murgia

Blockchain offers a decentralized, immutable, transparent system of records. It offers a peer-to-peer network of nodes with no centralised governing entity making it unhackable and therefore, more secure than the traditional paper-based or…

Cryptography and Security · Computer Science 2019-11-27 Harsh Jot Singh , Abdelhakim Senhaji Hafid

There has been tremendous interest in the development of formal trust models and metrics through the use of analytics (e.g., Belief Theory and Bayesian models), logics (e.g., Epistemic and Subjective Logic) and other mathematical models.…

Cryptography and Security · Computer Science 2021-06-10 Shantanu Pal , Ambrose Hill , Tahiry Rabehaja , Michael Hitchens

This paper presents a first empirical study of agentic AI as autonomous decision-makers in decentralized governance. Using more than 3K proposals from major protocols, we build an agentic AI voter that interprets proposal contexts,…

Artificial Intelligence · Computer Science 2025-10-28 Agostino Capponi , Alfio Gliozzo , Chunghyun Han , Junkyu Lee

We propose a formal approach for specifying and implementing decentralised coordination in distributed systems, with a focus on smart contracts. Our model captures dynamic roles, data-driven transitions, and external coordination…

Programming Languages · Computer Science 2026-04-23 Elvis Konjoh Selabi , Maurizio Murgia , António Ravara , Emilio Tuosto

Edge computing is a distributed computing paradigm that relies on computational resources of end devices in a network to bring benefits such as low bandwidth utilization, responsiveness, scalability and privacy preservation. Applications…

Distributed, Parallel, and Cluster Computing · Computer Science 2019-04-23 Aleksandar Tošić , Jernej Vičič , Michael Mrissa

Cooperation is fundamental for human prosperity. Blockchain, as a trust machine, is a cooperative institution in cyberspace that supports cooperation through distributed trust with consensus protocols. While studies in computer science…

General Economics · Economics 2023-01-23 Luyao Zhang , Xinyu Tian

In this paper, we outline a framework for modeling utility-based blockchain-enabled economic systems using Agent Based Modeling (ABM). Our approach is to model the supply dynamics based on metrics of the cryptoeconomy. We then build…

Cryptography and Security · Computer Science 2023-07-31 Kiran Karra , Tom Mellan , Maria Silva , Juan P. Madrigal-Cianci , Axel Cubero Cortes , Zixuan Zhang

In this paper we discuss how conventional business contracts can be converted into smart contracts---their electronic equivalents that can be used to systematically monitor and enforce contractual rights, obligations and prohibitions at run…

Computers and Society · Computer Science 2018-05-03 Carlos Molina-Jimenez , Ellis Solaiman , Ioannis Sfyrakis , Irene Ng , Jon Crowcroft

Lots of existing web applications include a component for rating internet resources (e.g., social media platforms include mechanisms for rating videos or posts). Based on the obtained rating, the most popular internet resources can generate…

Cryptography and Security · Computer Science 2020-09-08 Andreea Buterchi , Andrei Arusoaie

In this paper, we develop BlockMarkchain, as a secure data market place, where individual data sellers can exchange certified data with buyers, in a secure environment, without any mutual trust among the parties, and without trusting on a…

Cryptography and Security · Computer Science 2020-03-26 Hamidreza Ehteram , Mohammad Taha Toghani , Mohammad Ali Maddah-Ali

As an innovative technology for enhancing authenticity, security, and risk management, blockchain is being widely adopted in trade and finance systems. The unique capabilities of blockchain, such as immutability and transparency, enable new…

Cryptography and Security · Computer Science 2024-02-28 Hanjie Wu , Qian Yao , Zhenguang Liu , Butian Huang , Yuan Zhuang , Huayun Tang , Erwu Liu

Many studies have been done to improve the performance of centrally controlled business processes and enhance the integration between different parties of these collaborations. However, the most serious issues of collaborative business…

Cryptography and Security · Computer Science 2019-04-12 Vahid Pourheidari , Sara Rouhani , Ralph deters

The possibilities of decentralization and immutability make blockchain probably one of the most breakthrough and promising technological innovations in recent years. This paper presents an overview, analysis, and classification of possible…

The real-time traffic monitoring is a fundamental mission in a smart city to understand traffic conditions and avoid dangerous incidents. In this paper, we propose a reliable and efficient traffic monitoring system that integrates…

Networking and Internet Architecture · Computer Science 2021-01-19 Jianxiong Guo , Xingjian Ding , Weili Wu