English
Related papers

Related papers: Georacle: Enabling Geospatially Aware Smart Contra…

200 papers

Blockchains with smart contracts are distributed ledger systems that achieve block-state consistency among distributed nodes by only allowing deterministic operations of smart contracts. However, the power of smart contracts is enabled by…

Cryptography and Security · Computer Science 2023-03-08 Sangdon Park , Osbert Bastani , Taesoo Kim

We present GeoRocket, a software for the management of very large geospatial datasets in the cloud. GeoRocket employs a novel way to handle arbitrarily large datasets by splitting them into chunks that are processed individually. The…

Distributed, Parallel, and Cluster Computing · Computer Science 2020-02-04 Michel Krämer

Blockchains facilitate secure resource transactions through smart contracts, yet these digital agreements are prone to vulnerabilities, particularly when interacting with external contracts, leading to substantial monetary losses.…

Cryptography and Security · Computer Science 2024-07-04 Haojia Sun , Kunal Singh , Jan-Paul Ramos-Dávila , Jonathan Aldrich , Jenna DiVincenzo

The blockchain technology provides integrity and reliability of the information, thus offering a suitable solution to guarantee trustability in a multi-stakeholder scenario that involves actors defining business agreements. The Ride2Rail…

Computers and Society · Computer Science 2025-12-08 Mario Scrocca , Marco Comerio , Alessio Carenini , Irene Celino

We examine blockchain technologies, especially smart contracts, as a platform for decentralized applications. By providing a basis for consensus, blockchain promises to upend business models that presuppose a central authority. However,…

Computers and Society · Computer Science 2018-01-10 Munindar P. Singh , Amit K. Chopra

Many of the problems that arise in the context of blockchains and decentralized finance can be seen as variations on classical problems of distributed computing. The smart contract model proposed here is intended to capture both the…

Distributed, Parallel, and Cluster Computing · Computer Science 2025-02-11 Yackolley Amoussou-Guenou , Maurice Herlihy , Sucharita Jayanti , Maria Potop-Butucaru , Sergio Rajsbaum

The real estate market includes complex and inefficient mediation processes. Renting a property envolves multiple entities with different responsibilities and interests. Therefore it is imperative to establish a trustful relationship…

Cryptography and Security · Computer Science 2024-02-09 André S. Proença , Tiago R. Dias , Miguel P. Correia

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…

Cryptography and Security · Computer Science 2025-06-10 Mesut Ozdag

The global financial landscape is experiencing significant transformation driven by technological advancements and evolving market dynamics. Moreover, blockchain technology has become a pivotal platform with widespread applications,…

Computational Engineering, Finance, and Science · Computer Science 2024-07-30 Maruf Ahmed Mridul , Kaiyang Chang , Aparna Gupta , Oshani Seneviratne

Smart contracts are computer programs that can be consistently executed by a network of mutually distrusting nodes, without the arbitration of a trusted authority. Because of their resilience to tampering, smart contracts are appealing in…

Cryptography and Security · Computer Science 2018-06-21 Massimo Bartoletti , Livio Pompianu

A smart contract is a digital program of transaction protocol (rules of contract) based on the consensus architecture of blockchain. Smart contracts with Blockchain are modern technologies that have gained enormous attention in scientific…

Distributed, Parallel, and Cluster Computing · Computer Science 2023-02-17 Norah M. Alshahrani , M. L. Mat Kiah , B. B. Zaidan , A. H. Alamoodi , Abdu Saif

The fifth-generation (5G) wireless networks are expected to provide various services compared to the 4G and previous generations of networks. The Quality of Service requirements can be quite different in terms of latency, bandwidth,…

Networking and Internet Architecture · Computer Science 2022-08-01 Joao Paulo de Brito Goncalves , Gustavo Alochio , Rodolfo da Silva Villaca , Roberta Lima Gomes

The concept of smart grid has been introduced as a new vision of the conventional power grid to figure out an efficient way of integrating green and renewable energy technologies. In this way, Internet-connected smart grid, also called…

Cryptography and Security · Computer Science 2020-05-14 Muhammad Baqer Mollah , Jun Zhao , Dusit Niyato , Kwok-Yan Lam , Xin Zhang , Amer M. Y. M. Ghias , Leong Hai Koh , Lei Yang

The aim of this work is to study the use of decentralization and smart contracts on blockchain networks. We investigate the implementation and use of smart contracts on the platforms Bitcoin, Ethereum and Hyperledger Fabric. Additionally,…

Cryptography and Security · Computer Science 2019-03-13 Theodosis Mourouzis , Jayant Tandon

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…

Cryptography and Security · Computer Science 2020-03-16 Christof Ferreira Torres , Mathis Baden , Robert Norvill , Beltran Borja Fiz Pontiveros , Hugo Jonker , Sjouke Mauw

Decentralized management and coordination of energy systems are emerging trends facilitated by the uptake of the Internet of Things and Blockchain offering new opportunities for more secure, resilient, and efficient energy distribution.…

Distributed, Parallel, and Cluster Computing · Computer Science 2021-01-26 Tudor Cioara , Claudia Pop , Razvan Zanc , Ionut Anghel , Marcel Antal , Ioan Salomie

Distributed immutable ledgers, or blockchains, allow the secure digitization of evidential transactions without relying on a trusted third-party. Evidential transactions involve the exchange of any form of physical evidence, such as money,…

Cryptography and Security · Computer Science 2024-03-26 Zaynah Dargaye , Önder Gürcan , Florent Kirchner , Sara Tucci-Piergiovanni

Society is in constant transition to keep up with technological advancement, we are seeing traditional paradigms being increasingly challenged. The fundamentals of governance are one such paradigm. As society's values have shifted, so have…

Cryptography and Security · Computer Science 2018-05-16 Freya Sheer Hardwick , Raja Naeem Akram , Konstantinos Markantonakis

Blockchain integration in industries like online advertising is hindered by its connectivity limitations to off-chain data. These industries heavily rely on precise counting systems for collecting and analyzing off-chain data. This requires…

Cryptography and Security · Computer Science 2024-10-22 Behkish Nassirzadeh , Stefanos Leonardos , Albert Heinle , Anwar Hasan , Vijay Ganesh

In today's programmable blockchains, smart contracts are limited to being deterministic and non-probabilistic. This lack of randomness is a consequential limitation, given that a wide variety of real-world financial contracts, such as…

Computer Science and Game Theory · Computer Science 2019-02-22 Krishnendu Chatterjee , Amir Kafshdar Goharshady , Arash Pourdamghani