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.
Original language | English |
---|---|
Title of host publication | ICISSP 2020 - Proceedings of the 6th International Conference on Information Systems Security and Privacy |
Editors | Steven Furnell, Paolo Mori, Edgar Weippl, Olivier Camp |
Number of pages | 12 |
Publisher | SCITEPRESS Digital Library |
Publication date | 2020 |
Pages | 119-130 |
ISBN (Electronic) | 9789897583995 |
DOIs | |
Publication status | Published - 2020 |
Event | 6th International Conference on Information Systems Security and Privacy, ICISSP 2020 - Valletta, Malta Duration: 25 Feb 2020 → 27 Feb 2020 |
Conference
Conference | 6th International Conference on Information Systems Security and Privacy, ICISSP 2020 |
---|---|
Country/Territory | Malta |
City | Valletta |
Period | 25/02/2020 → 27/02/2020 |
Sponsor | Institute for Systems and Technologies of Information, Control and Communication (INSTICC) |
Keywords
- Blockchain
- Cryptographic protocols
- Protocol verification