Assessing Security of Cryptocurrencies with Attack-Defense Trees: Proof of Concept and Future Directions

Julia Eisentraut; Stephan Holzer; Katharina Klioba; Jan Křetínský; Lukas Pin; Alexander Wagner

doi:10.1007/978-3-030-85315-0_13

Assessing Security of Cryptocurrencies with Attack-Defense Trees: Proof of Concept and Future Directions

Julia Eisentraut, Stephan Holzer, Katharina Klioba, Jan Křetínský, Lukas Pin, Alexander Wagner

Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

Abstract

Cryptocurrencies such as Bitcoin have been one of the new major technologies of the last decade. In this paper, we assess the security of Bitcoin using attack-defense trees, an established formalism to evaluate the security of systems. In this paper, our main contributions are as follows: (1) We provide an extended attack-defense tree model for attacks on Bitcoin. (2) We demonstrate the general usability of existing analysis methods for attack-defense trees in this context. (3) We highlight further research directions necessary to extend attack-defense trees to a full-fledged overarching model for security assessment.

Original language	English
Title of host publication	Theoretical Aspects of Computing – ICTAC 2021
Editors	Antonio Cerone, Peter Csaba Olveczky
Pages	214-234
Number of pages	21
DOIs	https://doi.org/10.1007/978-3-030-85315-0_13
Publication status	Published - 2021
Externally published	Yes

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	12819 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Access to Document

10.1007/978-3-030-85315-0_13

Cite this

Eisentraut, J., Holzer, S., Klioba, K., Křetínský, J., Pin, L., & Wagner, A. (2021). Assessing Security of Cryptocurrencies with Attack-Defense Trees: Proof of Concept and Future Directions. In A. Cerone, & P. C. Olveczky (Eds.), Theoretical Aspects of Computing – ICTAC 2021 (pp. 214-234). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 12819 LNCS). https://doi.org/10.1007/978-3-030-85315-0_13

Eisentraut, Julia ; Holzer, Stephan ; Klioba, Katharina et al. / Assessing Security of Cryptocurrencies with Attack-Defense Trees: Proof of Concept and Future Directions. Theoretical Aspects of Computing – ICTAC 2021. editor / Antonio Cerone ; Peter Csaba Olveczky. 2021. pp. 214-234 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{2c438a9ce3a24b3182037fbe3d99f1b4,

title = "Assessing Security of Cryptocurrencies with Attack-Defense Trees: Proof of Concept and Future Directions",

abstract = "Cryptocurrencies such as Bitcoin have been one of the new major technologies of the last decade. In this paper, we assess the security of Bitcoin using attack-defense trees, an established formalism to evaluate the security of systems. In this paper, our main contributions are as follows: (1) We provide an extended attack-defense tree model for attacks on Bitcoin. (2) We demonstrate the general usability of existing analysis methods for attack-defense trees in this context. (3) We highlight further research directions necessary to extend attack-defense trees to a full-fledged overarching model for security assessment.",

author = "Julia Eisentraut and Stephan Holzer and Katharina Klioba and Jan K{\v r}et{\'i}nsk{\'y} and Lukas Pin and Alexander Wagner",

year = "2021",

doi = "10.1007/978-3-030-85315-0_13",

language = "English",

isbn = "9783030853143",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

pages = "214--234",

editor = "Antonio Cerone and Olveczky, {Peter Csaba}",

booktitle = "Theoretical Aspects of Computing – ICTAC 2021",

}

Eisentraut, J, Holzer, S, Klioba, K, Křetínský, J, Pin, L & Wagner, A 2021, Assessing Security of Cryptocurrencies with Attack-Defense Trees: Proof of Concept and Future Directions. in A Cerone & PC Olveczky (eds), Theoretical Aspects of Computing – ICTAC 2021. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 12819 LNCS, pp. 214-234. https://doi.org/10.1007/978-3-030-85315-0_13

Assessing Security of Cryptocurrencies with Attack-Defense Trees: Proof of Concept and Future Directions. / Eisentraut, Julia; Holzer, Stephan; Klioba, Katharina et al.
Theoretical Aspects of Computing – ICTAC 2021. ed. / Antonio Cerone; Peter Csaba Olveczky. 2021. p. 214-234 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 12819 LNCS).

Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

TY - GEN

T1 - Assessing Security of Cryptocurrencies with Attack-Defense Trees: Proof of Concept and Future Directions

AU - Eisentraut, Julia

AU - Holzer, Stephan

AU - Klioba, Katharina

AU - Křetínský, Jan

AU - Pin, Lukas

AU - Wagner, Alexander

PY - 2021

Y1 - 2021

N2 - Cryptocurrencies such as Bitcoin have been one of the new major technologies of the last decade. In this paper, we assess the security of Bitcoin using attack-defense trees, an established formalism to evaluate the security of systems. In this paper, our main contributions are as follows: (1) We provide an extended attack-defense tree model for attacks on Bitcoin. (2) We demonstrate the general usability of existing analysis methods for attack-defense trees in this context. (3) We highlight further research directions necessary to extend attack-defense trees to a full-fledged overarching model for security assessment.

AB - Cryptocurrencies such as Bitcoin have been one of the new major technologies of the last decade. In this paper, we assess the security of Bitcoin using attack-defense trees, an established formalism to evaluate the security of systems. In this paper, our main contributions are as follows: (1) We provide an extended attack-defense tree model for attacks on Bitcoin. (2) We demonstrate the general usability of existing analysis methods for attack-defense trees in this context. (3) We highlight further research directions necessary to extend attack-defense trees to a full-fledged overarching model for security assessment.

UR - https://tore.tuhh.de/handle/11420/10423

UR - http://www.scopus.com/inward/record.url?scp=85115170779&partnerID=8YFLogxK

U2 - 10.1007/978-3-030-85315-0_13

DO - 10.1007/978-3-030-85315-0_13

M3 - Conference contribution

SN - 9783030853143

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 214

EP - 234

BT - Theoretical Aspects of Computing – ICTAC 2021

A2 - Cerone, Antonio

A2 - Olveczky, Peter Csaba

ER -

Eisentraut J, Holzer S, Klioba K, Křetínský J, Pin L, Wagner A. Assessing Security of Cryptocurrencies with Attack-Defense Trees: Proof of Concept and Future Directions. In Cerone A, Olveczky PC, editors, Theoretical Aspects of Computing – ICTAC 2021. 2021. p. 214-234. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-030-85315-0_13

Assessing Security of Cryptocurrencies with Attack-Defense Trees: Proof of Concept and Future Directions

Abstract

Publication series

Access to Document

Other files and links

Fingerprint

Cite this