Abstract
The Lightning Network is a second layer protocol that sits on top of the Bitcoin cryptocurrency. It is a decentralized network of payment channels first conceptualized in 2014 and its first implementation was released in 2017. Being a fairly new technology, it may have security issues that we do not know of and the goal of this report is to analyse the Lightning Network to further investigate its security properties. The focus of this analysis is on answering whether the confidential data is kept secret and whether the user authenticity holds in the protocol. In the analysis we use the process algebra to formally describe cryptographic protocols that form the Lightning Network and an automatic cryptographic protocol analyser called ProVerif for their analysis.
Originalsprog | Engelsk |
---|---|
Titel | ICISSP 2020 - Proceedings of the 6th International Conference on Information Systems Security and Privacy |
Redaktører | Steven Furnell, Paolo Mori, Edgar Weippl, Olivier Camp |
Antal sider | 12 |
Forlag | SCITEPRESS Digital Library |
Publikationsdato | 2020 |
Sider | 119-130 |
ISBN (Elektronisk) | 9789897583995 |
DOI | |
Status | Udgivet - 2020 |
Begivenhed | 6th International Conference on Information Systems Security and Privacy, ICISSP 2020 - Valletta, Malta Varighed: 25 feb. 2020 → 27 feb. 2020 |
Konference
Konference | 6th International Conference on Information Systems Security and Privacy, ICISSP 2020 |
---|---|
Land/Område | Malta |
By | Valletta |
Periode | 25/02/2020 → 27/02/2020 |
Sponsor | Institute for Systems and Technologies of Information, Control and Communication (INSTICC) |
Bibliografisk note
Publisher Copyright:© Copyright 2020 by SCITEPRESS - Science and Technology Publications, Lda. All rights reserved.
Copyright:
Copyright 2020 Elsevier B.V., All rights reserved.