English
Related papers

Related papers: Enabling Bitcoin Smart Contracts on the Internet C…

200 papers

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

Blockchain technology has emerged as one of the most transformative digital innovations of the 21st century. This paper presents a comprehensive review of blockchain's fundamental architecture, tracing its development from Bitcoin's initial…

Cryptography and Security · Computer Science 2025-05-14 Aditya Pratap Singh

The world has been experiencing a mind-blowing expansion of blockchain technology since it was first introduced as an emerging means of cryptocurrency called bitcoin. Currently, it has been regarded as a pervasive frame of reference across…

Cryptography and Security · Computer Science 2021-11-23 Ziaur Rahman , Xun Yi , Ibrahim Khalil , Andrei Kelarev

We present Union, a trust-minimized bridge protocol that enables secure transfer of BTC between Bitcoin and a secondary blockchain. The growing ecosystem of blockchain systems built around Bitcoin has created a pressing need for secure and…

Cryptography and Security · Computer Science 2025-01-15 Ramon Amela , Shreemoy Mishra , Sergio Demian Lerner , Javier Álvarez Cid-Fuentes

Blockchain has become a popular emergent technology in many industries. It is suitable for a broad range of applications, from its base role as an immutable distributed ledger to the deployment of distributed applications. Many…

Cryptography and Security · Computer Science 2022-12-20 Inwon Kang , Aparna Gupta , Oshani Seneviratne

We present a toolchain for developing and verifying smart contracts that can be executed on Bitcoin. The toolchain is based on BitML, a recent domain-specific language for smart contracts with a computationally sound embedding into Bitcoin.…

Programming Languages · Computer Science 2019-08-06 Nicola Atzei , Massimo Bartoletti , Stefano Lande , Nobuko Yoshida , Roberto Zunino

Smart contracts are blockchain-based algorithms that execute when specific criteria are satisfied. They are often used to automate the implementation of an agreement so that all parties may be confident of the conclusion right away, without…

Cryptography and Security · Computer Science 2022-12-19 Harry Virani , Manthan Kyada

We propose a new coded blockchain scheme suitable for the Internet-of-Things (IoT) network. In contrast to existing works for coded blockchains, especially blockchain-of-things, the proposed scheme is more realistic, practical, and secure…

Distributed, Parallel, and Cluster Computing · Computer Science 2025-01-22 Amirhossein Taherpour , Xiaodong Wang

While the large-scale Internet of Things (IoT) makes many new applications feasible, like Smart Cities, IoT also brings new concerns on data reliability, security, and privacy. The rapid evolution in blockchain technologies, which relied on…

Distributed, Parallel, and Cluster Computing · Computer Science 2019-12-24 Ronghua Xu , Yu Chen

Smart contract applications on the blockchain can only reach their full potential if they integrate seamlessly with traditional software systems via a programmatic interface. This interface should provide for originating and invoking…

Programming Languages · Computer Science 2021-08-31 Thi Thu Ha Doan , Peter Thiemann

With the Internet of Things (IoT), Things are expected to live in different "domains" and "contexts" during their lifetime. Information generated by and associated with Things should be manageable by multiple, diverse stakeholders…

Computers and Society · Computer Science 2019-01-31 Nikos Fotiou , George C. Polyzos

Blockchain technology facilitates the development of decentralized systems that ensure trust and transparency without the need for expensive centralized intermediaries. However, existing blockchain architectures particularly consortium…

Networking and Internet Architecture · Computer Science 2025-11-04 Qi Xia , Hu Xia , Isaac Amankona Obiri , Adjei-Arthur Bonsu , Grace Mupoyi Ntuala , Ansu Badjie , Tienin Bole Wilfried , Jiaqin Liu , Lan Ma , Jianbin Gao , Feng Yao

Blockchain has recently been able to draw wider attention throughout the research community. Since its emergence, the world has seen the mind-blowing expansion of this new technology, which was initially developed as a pawn of digital…

Cryptography and Security · Computer Science 2022-05-03 Ziaur Rahman , Xun Yi , Sk. Tanzir Mehedi , Rafiqul Islam , Andrei Kelarev

Currently, Blockchain (BC), Artificial Intelligence (AI), and smart Industrial Internet of Things (IIoT) are not only leading promising technologies in the world, but also these technologies facilitate the current society to develop the…

Cryptography and Security · Computer Science 2024-11-07 Anichur Rahman , Dipanjali Kundu , Tanoy Debnath , Muaz Rahman , Md. Jahidul Islam

Proliferation of IoT devices in society demands a renewed focus on securing the use and maintenance of such systems. IoT-based systems will have a great impact on society and therefore such systems must have guaranteed resilience. We…

Cryptography and Security · Computer Science 2020-07-07 John Wickström , Magnus Westerlund , Göran Pulkkis

Smart contract technology is reshaping conventional industry and business processes. Being embedded in blockchains, smart contracts enable the contractual terms of an agreement to be enforced automatically without the intervention of a…

Software Engineering · Computer Science 2019-12-24 Zibin Zheng , Shaoan Xie , Hong-Ning Dai , Weili Chen , Xiangping Chen , Jian Weng , Muhammad Imran

In the past decade, blockchain has shown a promising vision greatly to build the trust without any powerful third party in a secure, decentralized and salable manner. However, due to the wide application and future development from…

Distributed, Parallel, and Cluster Computing · Computer Science 2021-05-11 Bin Cao , Zixin Wang , Long Zhang , Daquan Feng , Mugen Peng , Lei Zhang

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

The blockchain is a distributed technology which allows establishing trust among unreliable users who interact and perform transactions with each other. While blockchain technology has been mainly used for crypto-currency, it has emerged as…

Networking and Internet Architecture · Computer Science 2022-01-28 Hajar Moudoud , Soumaya Cherkaoui , Lyes Khoukhi

We present models that utilize smart contracts and interledger mechanisms to provide decentralized authorization for constrained IoT devices. The models involve different tradeoffs in terms of cost, delay, complexity, and privacy, while…

Networking and Internet Architecture · Computer Science 2019-05-07 Vasilios A. Siris , Dimitrios Dimopoulos , Nikos Fotiou , Spyros Voulgaris , George C. Polyzos