Bitcoin as a Transaction Ledger: A Composable Treatment
- Submitting institution
-
University of Edinburgh
- Unit of assessment
- 11 - Computer Science and Informatics
- Output identifier
- 59254119
- Type
- E - Conference contribution
- DOI
-
10.1007/978-3-319-63688-7_11
- Title of conference / published proceedings
- Advances in Cryptology – CRYPTO 2017
- First page
- 324
- Volume
- 10401
- Issue
- -
- ISSN
- 0302-9743
- Open access status
- Deposit exception
- Month of publication
- July
- Year of publication
- 2017
- URL
-
-
- Supplementary information
-
-
- Request cross-referral to
- -
- Output has been delayed by COVID-19
- No
- COVID-19 affected output statement
- -
- Forensic science
- No
- Criminology
- No
- Interdisciplinary
- No
- Number of additional authors
-
3
- Research group(s)
-
C - Foundations of Computation
- Citation count
- 22
- Proposed double-weighted
- No
- Reserve for an output with double weighting
- No
- Additional information
- Composable security has become the benchmark security definition for distributed cryptographic protocols. This work, which was published at a top cryptography venue, includes the first composable treatment of Blockchains. It allows to abstract the functionality they offer to external protocols. Such abstraction allows for rigorous analysis (and design) of higher-level protocols that rely on blockchains to improve their security. The work is very well-cited and has become the main reference for a composable description of the ledger implemented by Bitcoin and other Nakamoto-style blockchain protocols, e.g., Ouroboros.
- Author contribution statement
- -
- Non-English
- No
- English abstract
- -