Bitcoin as a transaction ledger: a composable treatment
From MaRDI portal
Publication:1675730
DOI10.1007/978-3-319-63688-7_11zbMath1407.94077OpenAlexW2604903677MaRDI QIDQ1675730
Christian Badertscher, Vassilis Zikas, Daniel Tschudi, Ueli M. Maurer
Publication date: 3 November 2017
Full work available at URL: https://doi.org/10.1007/978-3-319-63688-7_11
Related Items (30)
A rational protocol treatment of 51\% attacks ⋮ Revisiting key-alternating Feistel ciphers for shorter keys and multi-user security ⋮ Shielded computations in smart contracts overcoming forks ⋮ Weight-based Nakamoto-style blockchains ⋮ Proof-of-reputation blockchain with Nakamoto fallback ⋮ Risk framework for bitcoin custody operation with the revault protocol ⋮ SoK: algorithmic incentive manipulation attacks on permissionless PoW cryptocurrencies ⋮ Pay to win: cheap, cross-chain bribing attacks on PoW cryptocurrencies ⋮ Permissionless consensus in the resource model ⋮ CRAFT: \underline{C}omposable \underline{R}andomness beacons and output-independent \underline{A}bort MPC \underline{F}rom \underline{T}ime ⋮ PAPR: publicly auditable privacy revocation for anonymous credentials ⋮ Ofelimos: combinatorial optimization via proof-of-useful-work. A provably secure blockchain protocol ⋮ Formalizing delayed adaptive corruptions and the security of flooding networks ⋮ A universally composable non-interactive aggregate cash system ⋮ SNACKs: leveraging proofs of sequential work for blockchain light clients ⋮ On elapsed time consensus protocols ⋮ Permissionless clock synchronization with public setup ⋮ Completeness theorems for adaptively secure broadcast ⋮ Universally Composable Simultaneous Broadcast against a Dishonest Majority and Applications ⋮ ALBATROSS: publicly AttestabLe BATched Randomness based On Secret Sharing ⋮ On the (Ir)replaceability of global setups, or how (not) to use a global ledger ⋮ Etherless Ethereum Tokens: simulating native tokens in Ethereum ⋮ A universally composable framework for the privacy of email ecosystems ⋮ Timed signatures and zero-knowledge proofs -- timestamping in the blockchain era ⋮ Dynamic ad hoc clock synchronization ⋮ Abuse resistant law enforcement access systems ⋮ Publicly verifiable zero knowledge from (collapsing) blockchains ⋮ Steel: composable hardware-based stateful and randomised functional encryption ⋮ P2DEX: privacy-preserving decentralized cryptocurrency exchange ⋮ Resource-restricted cryptography: revisiting MPC bounds in the proof-of-work era
This page was built for publication: Bitcoin as a transaction ledger: a composable treatment
