English
Related papers

Related papers: Taming the Beast of User-Programmed Transactions o…

200 papers

This paper presents DeCon, a declarative programming language for implementing smart contracts and specifying contract-level properties. Driven by the observation that smart contract operations and contract-level properties can be naturally…

Software Engineering · Computer Science 2022-07-29 Haoxian Chen , Gerald Whitters , Mohammad Javad Amiri , Yuepeng Wang , Boon Thau Loo

Trust between entities in any scenario without a trusted third party is very difficult, and trust is exactly what blockchain aims to bring into the digital world with its basic features. Many applications are moving to blockchain adoption,…

Cryptography and Security · Computer Science 2026-04-29 Stanly Wilson , Kwabena Adu-Duodu , Yinhao Li , Ellis Solaiman , Omer Rana , Rajiv Ranjan

While blockchains initially gained popularity in the realm of cryptocurrencies, their widespread adoption is expanding beyond conventional applications, driven by the imperative need for enhanced data security. Despite providing a secure…

Cryptography and Security · Computer Science 2024-12-10 Faisal Haque Bappy , Tarannum Shaila Zaman , Md Sajidul Islam Sajid , Mir Mehedi Ahsan Pritom , Tariqul Islam

Blockchains are widely used for secure transaction processing, but their scalability remains limited, and existing multichain designs are typically static even as demand and capacity shift. We cast blockchain configuration as a multiagent…

Cryptography and Security · Computer Science 2026-02-27 Nimrod Talmon , Haim Zysberg

Blockchain was always associated with Bitcoin, cryptocurrencies, and digital asset trading. However, its benefits are far beyond that. It supports technologies like the Internet-of-Things (IoT) to pave the way for futuristic smart…

Cryptography and Security · Computer Science 2022-03-18 Maad Ebrahim , Abdelhakim Hafid , Etienne Elie

Blockchain is a disruptive technology that is normally used within financial applications, however it can be very beneficial also in certain robotic contexts, such as when an immutable register of events is required. Among the several…

Robotics · Computer Science 2019-03-05 Vasco Lopes , Luís A. Alexandre , Nuno Pereira

Securities exchange being digitalised and online, security of information and data has become a major concern. Blockchain (BC) technology, being distributed and immutable in nature, has proved to the "Trust Machine" eliminating the need for…

Computers and Society · Computer Science 2018-07-04 Mahdi H. Miraz , David C. Donald

Blockchain is a distributed ledger technology that gained popularity for enabling the transformation of cryptocurrency among peers without mediation by a centralized third-party authority. Smart contracts expand the applications of…

Cryptography and Security · Computer Science 2023-10-09 Majd Soud , Gísli Hjálmtýsson , Mohammad Hamdaqa

As artificial intelligence (AI) systems become increasingly integral to critical infrastructure and global operations, the need for a unified, trustworthy governance framework is more urgent that ever. This paper proposes a novel approach…

Artificial Intelligence · Computer Science 2025-01-17 Vikram Kulothungan

Blockchain technology has been used to build next-generation applications taking advantage of its decentralised nature. Nevertheless, there are some serious concerns about the trustworthiness of blockchain due to the vulnerabilities in…

Cryptography and Security · Computer Science 2022-09-23 Yue Liu , Qinghua Lu , Guangsheng Yu , Hye-Young Paik , Harsha Perera , Liming Zhu

An appealing feature of blockchain technology is smart contracts. A smart contract is executable code that runs on top of the blockchain to facilitate, execute and enforce an agreement between untrusted parties without the involvement of a…

Cryptography and Security · Computer Science 2017-10-18 Maher Alharby , Aad van Moorsel

Blockchains are gaining momentum due to the interest of industries and people in \emph{decentralized applications} (Dapps), particularly in those for trading assets through digital certificates secured on blockchain, called tokens. As a…

Cryptography and Security · Computer Science 2024-02-22 Giampaolo Bella , Domenico Cantone , Cristiano Longo , Marianna Nicolosi-Asmundo , Daniele Francesco Santamaria

Sensor networks and Wireless Sensor Networks (WSN) are key components for the development of the Internet of Things. These networks are subject of two kinds of constraints. Adaptability by the mean of mutability and evolutivity, and…

Cryptography and Security · Computer Science 2017-06-07 Axel Moinet , Benoît Darties , Jean-Luc Baril

Smart contract-enabled blockchains allow building decentralized applications in which mutually-distrusted parties can work together. Recently, oracle services emerged to provide these applications with real-world data feeds. Unfortunately,…

Computer Science and Game Theory · Computer Science 2021-12-24 Z. Motaqy , G. Almashaqbeh , B. Bahrak , N. Yazdani

Blockchain-based platforms are emerging as a transformative technology that can provide reliability, integrity, and auditability without trusted entities. One of the key features of these platforms is the trustworthy decentralized execution…

Computers and Society · Computer Science 2020-01-20 Afiya Ayman , Shanto Roy , Amin Alipour , Aron Laszka

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…

Cryptography and Security · Computer Science 2021-05-21 Noama Fatima Samreen , Manar H. Alalfi

The potential for blockchain technology to eliminate the middleman and replace the top down hierarchical model of governance with a system of distributed cooperation has opened up many new opportunities, as well as dilemmas. Surpassing the…

Software Engineering · Computer Science 2023-04-12 Simona Ramos , Morshed Mannan

Although historically the term serverless was also used in the context of peer-to-peer systems, it is more frequently associated with the architectural style for developing cloud-native applications. From the developer's perspective,…

Cryptography and Security · Computer Science 2020-11-26 Vladimir Yussupov , Ghareeb Falazi , Uwe Breitenbücher , Frank Leymann

A blockchain-based framework for distributed agile software testing life cycle is an innovative approach that uses blockchain technology to optimize the software testing process. Previously, various methods were employed to address…

Software Engineering · Computer Science 2023-07-17 Muhammad Shoaib Farooq , Fatima Ahmed

The hype about Bitcoin has overrated the potential of smart contracts deployed on-blockchains (on-chains) and underrated the potential of smart contracts deployed on-Trusted Third Parties (on-TTPs). As a result, current research and…

Networking and Internet Architecture · Computer Science 2020-10-27 Carlos Molina-Jimenez , Ioannis Sfyrakis , Linmao Song , Hazem Danny Al Nakib , Jon Crowcroft