English
Related papers

Related papers: A Typed Programmatic Interface to Contracts on the…

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

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

Blockchain architectures promise disruptive innovation but factually they pose many architectural restrictions to classical service-based applications and show considerable design, implementation, and operations overhead. Furthermore, the…

Software Engineering · Computer Science 2022-09-26 Giovanni Quattrocchi , Damian Andrew Tamburri , WIllem-Jan Van Den Heuvel

Smart contracts are programs stored on a blockchain that run when predetermined conditions are met. However, designing and implementing a smart contract is not trivial since upon deployment on a blockchain, it is no longer possible to…

Software Engineering · Computer Science 2021-12-08 Chaïmaa Benabbou , Önder Gürcan

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

Tezos is an innovative blockchain that improves on several aspects compared to more established blockchains. It offers an original proof-of-stake consensus algorithm and can be used as a decentralized smart contract platform. It has the…

Distributed, Parallel, and Cluster Computing · Computer Science 2019-09-19 Victor Allombert , Mathias Bourgoin , Julien Tesson

The Internet of Things (IoT) connected by Software Defined Networking (SDN) promises to bring great benefits to cyber-physical systems. However, the increased attack surface offered by the growing number of connected vulnerable devices and…

Networking and Internet Architecture · Computer Science 2020-06-26 Jiejun Hu , Martin Reed , Mays Al-Naday , Nikolaos Thomos

There has been considerable advancement in the use of blockchain for trust management in large-scale dynamic systems. In such systems, blockchain is mainly used to store the trust score or trust-related information of interactions among the…

Distributed, Parallel, and Cluster Computing · Computer Science 2022-06-14 Shantanu Pal , Ambrose Hill , Tahiry Rabehaja , Michael Hitchens

Blockchain smart contracts have catalyzed the development of decentralized applications across various domains, including decentralized finance. However, due to constraints in computational resources and the prevalence of data silos,…

Distributed, Parallel, and Cluster Computing · Computer Science 2024-12-09 Youquan Xian , Xueying Zeng , Duancheng Xuan , Danping Yang , Chunpei Li , Peng Fan , Peng Liu

Blockchain-based smart contract has become a growing field in the blockchain technology. What was once a technology used to solve digital transaction issues turns out to have some wider usage, including smart contract. The development of…

Cryptography and Security · Computer Science 2021-08-23 Fengkie Junis , Faisal Malik Widya Prasetya , Farouq Ibrahim Lubay , Anny Kartika Sari

The first generation of blockchain focused on digital currencies and secure storage, management and transfer of tokenized values. Thereafter, the focus has been shifting from currencies to a broader application space. In this paper, we…

Cryptography and Security · Computer Science 2021-03-23 Andrea Merlina , Roman Vitenberg , Vinay Setty

Digital payments play a pivotal role in the burgeoning digital economy. Moving forward, the enhancement of digital payment systems necessitates programmability, going beyond just efficiency and convenience, to meet the evolving needs and…

Trading and Market Microstructure · Quantitative Finance 2025-09-01 Zijia Meng , Victor Feng

The emerging blockchain technology supports decentralized computing paradigm shift and is a rapidly approaching phenomenon. While blockchain is thought primarily as the basis of Bitcoin, its application has grown far beyond cryptocurrencies…

Cryptography and Security · Computer Science 2020-06-23 Reza M. Parizi , Ali Dehghantanha , Kim-Kwang Raymond Choo , Amritraj Singh

Smart contracts are regarded as one of the most promising and appealing notions in blockchain technology. Their self-enforcing and event-driven features make some online activities possible without a trusted third party. Nevertheless,…

Cryptography and Security · Computer Science 2021-02-16 Bin Hu , Zongyang Zhang , Jianwei Liu , Yizhong Liu , Jiayuan Yin , Rongxing Lu , Xiaodong Lin

The Internet of Things (IoT) necessitates robust access control mechanisms to secure a vast array of interconnected devices. Most of the existing IoT systems in practice use centralized solutions. We identify the problems in such solutions…

Distributed, Parallel, and Cluster Computing · Computer Science 2024-05-27 Yongtao Huang , I-Ling Yen , Farokh Bastani

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

Blockchain technology is an interlinked systematic chain of blocks that contains transaction history and other user data. It works under the principle of decentralized distributed digital ledger. This technology enables cryptographically…

Cryptography and Security · Computer Science 2020-12-25 AKM Bahalul Haque , Mahbubur Rahman

Designing blockchain-based applications is a tedious task. Compared to traditional software engineering, software architects cannot rely on previous experiences or proven practices, often formalized as software patterns. Also, the selection…

Software Engineering · Computer Science 2022-01-19 Nicolas Six , Nicolas Herbaut , Camille Salinesi

Modern blockchain applications are often constrained by a trade-off between user experience and trust. Chainless Apps present a new paradigm of application architecture that separates execution, trust, bridging, and settlement into distinct…

Cryptography and Security · Computer Science 2025-05-30 Brian Seong , Paul Gebheim

A smart contract is an interactive program that governs funds in the realm of a single cryptocurrency. Yet, the many existing cryptocurrencies have spurred the design of cross-chain applications that require interactions with multiple…

Cryptography and Security · Computer Science 2025-01-30 Federico Badaloni , Sebastian Holler , Chrysoula Oikonomou , Pedro Moreno-Sanchez , Clara Schneidewind
‹ Prev 1 3 4 5 6 7 10 Next ›