Secrecy and Authenticity Properties of the Lightning Network Protocol

Hans Hüttel; Vilim Staroveski

Research.Publish.Connect.

*Please fill out at least one Field. *Value must be an number!

Title:
ISBN:
Year:
Acronym:
Subject:

Advanced Search Proceedings Search

If you're looking for an exact phrase use quotation marks on text fields.

*Please fill out at least one Field.

Title:
Author:
Affiliation:
Subject:

Advanced Search Papers Search

If you're looking for an exact phrase use quotation marks on text fields.

*Please fill out at least one Field.

Name:
Affiliation:
Country:
Conference:
Subject:

Advanced Search Authors Search

If you're looking for an exact phrase use quotation marks on text fields.

*Please fill out at least one Field.

Name:
Country:
Subject:

Advanced Search Affiliations Search

If you're looking for an exact phrase use quotation marks on text fields.

Proceedings

Proceedings Search *Please fill out at least one Field. *Value must be an number!

Title:
ISBN:
Year:
Acronym:
Subject:

Advanced Search Proceedings Search

If you're looking for an exact phrase use quotation marks on text fields.

Papers

Papers Search *Please fill out at least one Field.

Title:
Author:
Affiliation:
Subject:

Advanced Search Papers Search

If you're looking for an exact phrase use quotation marks on text fields.

Authors

Authors Search *Please fill out at least one Field.

Name:
Affiliation:
Country:
Conference:
Subject:

Advanced Search Authors Search

If you're looking for an exact phrase use quotation marks on text fields.

Advanced Search

Paper

Secrecy and Authenticity Properties of the Lightning Network Protocol

Topics: Authentication, Privacy and Security Models; Distributed Ledgers and Blockchain Technologies and Applications; Software Security Assurance

In Proceedings of the 6th International Conference on Information Systems Security and Privacy ICISSP - Volume 1, 119-130, 2020 , Valletta, Malta

Authors: Hans Hüttel and Vilim Staroveski

Affiliation: Department of Computer Science, Aalborrg University, Denmark

Keyword(s): Cryptographic Protocols, Protocol Verification, Blockchain.

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.

CC BY-NC-ND 4.0

Guest: Register as new SciTePress user now for free.

SciTePress user: please login.

My Papers

You are not signed in, therefore limits apply to your IP address 3.145.12.242

In the current month:

Recent papers: 100 available of 100 total

2⁺ years older papers: 200 available of 200 total

Paper citation in several formats:

Hüttel, H. and Staroveski, V. (2020). Secrecy and Authenticity Properties of the Lightning Network Protocol. In Proceedings of the 6th International Conference on Information Systems Security and Privacy - ICISSP; ISBN 978-989-758-399-5; ISSN 2184-4356, SciTePress, pages 119-130. DOI: 10.5220/0008974801190130

@conference{icissp20,
author={Hans Hüttel. and Vilim Staroveski.},
title={Secrecy and Authenticity Properties of the Lightning Network Protocol},
booktitle={Proceedings of the 6th International Conference on Information Systems Security and Privacy - ICISSP},
year={2020},
pages={119-130},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0008974801190130},
isbn={978-989-758-399-5},
issn={2184-4356},
}

TY - CONF

JO - Proceedings of the 6th International Conference on Information Systems Security and Privacy - ICISSP
TI - Secrecy and Authenticity Properties of the Lightning Network Protocol
SN - 978-989-758-399-5
IS - 2184-4356
AU - Hüttel, H.
AU - Staroveski, V.
PY - 2020
SP - 119
EP - 130
DO - 10.5220/0008974801190130
PB - SciTePress