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

Informatics 7 - Associate Professorship of Formal Methods for Software Reliability

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

3 Scopus citations

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 - 18th International Colloquium, Proceedings
Editors	Antonio Cerone, Peter Csaba Olveczky
Publisher	Springer Science and Business Media Deutschland GmbH
Pages	214-234
Number of pages	21
ISBN (Print)	9783030853143
DOIs	https://doi.org/10.1007/978-3-030-85315-0_13
State	Published - 2021
Event	18th International Colloquium on Theoretical Aspects of Computing, ICTAC 2021 - Virtual, Online Duration: 8 Sep 2021 → 10 Sep 2021

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

Conference

Conference	18th International Colloquium on Theoretical Aspects of Computing, ICTAC 2021
City	Virtual, Online
Period	8/09/21 → 10/09/21

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 - 18th International Colloquium, Proceedings (pp. 214-234). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 12819 LNCS). Springer Science and Business Media Deutschland GmbH. 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 - 18th International Colloquium, Proceedings. editor / Antonio Cerone ; Peter Csaba Olveczky. Springer Science and Business Media Deutschland GmbH, 2021. pp. 214-234 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{99124be2fa5040b094a2862a471e8327,

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",

note = "Publisher Copyright: {\textcopyright} 2021, Springer Nature Switzerland AG.; 18th International Colloquium on Theoretical Aspects of Computing, ICTAC 2021 ; Conference date: 08-09-2021 Through 10-09-2021",

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)",

publisher = "Springer Science and Business Media Deutschland GmbH",

pages = "214--234",

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

booktitle = "Theoretical Aspects of Computing – ICTAC 2021 - 18th International Colloquium, Proceedings",

}

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 - 18th International Colloquium, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 12819 LNCS, Springer Science and Business Media Deutschland GmbH, pp. 214-234, 18th International Colloquium on Theoretical Aspects of Computing, ICTAC 2021, Virtual, Online, 8/09/21. 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 - 18th International Colloquium, Proceedings. ed. / Antonio Cerone; Peter Csaba Olveczky. Springer Science and Business Media Deutschland GmbH, 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/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Assessing Security of Cryptocurrencies with Attack-Defense Trees

T2 - 18th International Colloquium on Theoretical Aspects of Computing, ICTAC 2021

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 - 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

AN - SCOPUS:85115170779

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 - 18th International Colloquium, Proceedings

A2 - Cerone, Antonio

A2 - Olveczky, Peter Csaba

PB - Springer Science and Business Media Deutschland GmbH

Y2 - 8 September 2021 through 10 September 2021

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 - 18th International Colloquium, Proceedings. Springer Science and Business Media Deutschland GmbH. 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

Conference

Access to Document

Other files and links

Fingerprint

Cite this