English
Related papers

Related papers: Modeling Bitcoin Contracts by Timed Automata

200 papers

The functioning of the cryptocurrency Bitcoin relies on the open availability of the entire history of its transactions. This makes it a particularly interesting socio-economic system to analyse from the point of view of network science.…

The Bitcoin system only provides eventual consistency. For everyday life, the time to confirm a Bitcoin transaction is prohibitively slow. In this paper we propose a new system, built on the Bitcoin blockchain, which enables strong…

Distributed, Parallel, and Cluster Computing · Computer Science 2014-12-30 Christian Decker , Jochen Seidel , Roger Wattenhofer

This paper introduces TeleBTC, a fully decentralized protocol designed to wrap Bitcoin (BTC) on programmable blockchains. The creation of a decentralized wrapped BTC presents challenges due to the non-programmable nature of Bitcoin, making…

Cryptography and Security · Computer Science 2023-07-27 Mahyar Daneshpajooh , Niusha Moshrefi , Mahdi Darabi , Sina Hashemi , Mehrafarin Kazemi

Sensing-as-a-Service (S2aaS) is an emerging Internet of Things (IOT) business model pattern. To be technically feasible and to effectively allow for broad adoption, S2aaS implementations have to overcome manifold systemic hurdles,…

Computers and Society · Computer Science 2014-09-23 Kay Noyen , Dirk Volland , Dominic Wörner , Elgar Fleisch

Cryptocurrencies have gained popularity due to their transparency, security, and accessibility compared to traditional financial systems, with Bitcoin, introduced in 2009, leading the market. Bitcoin's security relies on blockchain…

Cryptography and Security · Computer Science 2024-11-12 Dinitha Wijewardhana , Sugandima Vidanagamachchi , Nalin Arachchilage

A bitcoin covenant is a mechanism to enforce conditions on how the control of coins will be transferred in the future. This work introduces deleted-key covenants; using pre-signed transactions with secure key deletion. With this, a general…

Cryptography and Security · Computer Science 2020-07-01 Jacob Swambo , Spencer Hommel , Bob McElrath , Bryan Bishop

Smart contracts - computer protocols that regulate the exchange of crypto-assets in trustless environments - have become popular with the spread of blockchain technologies. A landmark security property of smart contracts is liquidity: in a…

Cryptography and Security · Computer Science 2023-06-22 Massimo Bartoletti , Stefano Lande , Maurizio Murgia , Roberto Zunino

Since the inception of Bitcoin in 2009, the market of cryptocurrencies has grown beyond initial expectations as daily trades exceed $10 billion. As industries become automated, the need for an automated fraud detector becomes very apparent.…

Machine Learning · Computer Science 2022-07-26 Eran Kaufman , Andrey Iaremenko

Bitcoin is a digital currency designed to rely on a decentralized, trustless network of anonymous agents. Using a pseudonymous-address-linking procedure that achieves >99% sensitivity and >99% specificity, we reveal that between launch…

Computer Science and Game Theory · Computer Science 2022-06-08 Alyssa Blackburn , Christoph Huber , Yossi Eliaz , Muhammad S. Shamim , David Weisz , Goutham Seshadri , Kevin Kim , Shengqi Hang , Erez Lieberman Aiden

Blockchain technology provides a tamper-proof mechanism to execute inter-organizational business processes involving mutually untrusted parties. Existing approaches to blockchain-based process execution are based on code generation. In…

Software Engineering · Computer Science 2019-06-05 Orlenys López-Pintado , Marlon Dumas , Luciano García-Bañuelos , Ingo Weber

Decentralized Ledger Technology, popularized by the Bitcoin network, aims to keep track of a ledger of valid transactions between agents of a virtual economy without a central institution for coordination. In order to keep track of a…

Systems and Control · Computer Science 2018-07-04 Michael Zargham , Zixuan Zhang , Victor Preciado

Bitcoin and other similar digital currencies on blockchains are not ideal means for payment, because their prices tend to go up in the long term (thus people are incentivized to hoard those currencies), and to fluctuate widely in the short…

Computers and Society · Computer Science 2019-05-17 Kenji Saito , Mitsuru Iwamura

Currently, there is no consensus on the real properties of Bitcoin. The discussion comprises its use as a speculative or safe haven assets, while other authors argue that the augmented attractiveness could end accomplishing money's…

Economics · Quantitative Finance 2017-06-06 Obryan Poyser

The internet era has generated a requirement for low cost, anonymous and rapidly verifiable transactions to be used for online barter, and fast settling money have emerged as a consequence. For the most part, e-money has fulfilled this…

Cryptography and Security · Computer Science 2015-08-19 Gareth W. Peters , Efstathios Panayi , Ariane Chapelle

In the cryptographic currency Bitcoin, all transactions are recorded in the blockchain - a public, global, and immutable ledger. Because transactions are public, Bitcoin and its users employ obfuscation to maintain a degree of financial…

Computers and Society · Computer Science 2017-06-30 Arvind Narayanan , Malte Möser

Bitcoin's Proof of Work (PoW) mechanism, while central to achieving decentralized consensus, has long been criticized for excessive energy use and hardware inefficiencies \cite{devries2018bitcoin, truby2018decarbonizing}. This paper…

Cryptography and Security · Computer Science 2025-08-19 Mohammad Ishzaz Asif Rafid , Morsalin Sakib

The decentralized cryptocurrency Bitcoin has experienced great success but also encountered many challenges. One of the challenges has been the long confirmation time. Another challenge is the lack of incentives at certain steps of the…

Cryptography and Security · Computer Science 2017-11-21 Ittai Abraham , Dahlia Malkhi , Kartik Nayak , Ling Ren , Alexander Spiegelman

Proof-of-Work (PoW) is a popular consensus protocol used by Bitcoin since its inception. PoW has the well-known flaw of assigning all the reward to the single miner (or pool) that inserts the new block. This has the consequence of making…

Distributed, Parallel, and Cluster Computing · Computer Science 2022-07-13 Danilo Bazzanella , Andrea Gangemi

Bitcoin is a electronic payment system where payment transactions are verified and stored in a data structure called the blockchain. Bitcoin miners work individually to solve a computationally intensive problem, and with each solution a…

Cryptography and Security · Computer Science 2018-01-24 R. Bowden , H. P. Keeler , A. E. Krzesinski , P. G. Taylor

At the heart of the Bitcoin is a blockchain protocol, a protocol for achieving consensus on a public ledger that records bitcoin transactions. To the extent that a blockchain protocol is used for applications such as contract signing and…

Cryptography and Security · Computer Science 2017-07-28 Joseph Y. Halpern , Rafael Pass
‹ Prev 1 4 5 6 7 8 10 Next ›