On the Formalisation of Σ-Protocols and Commitment Schemes

David Butler; David Aspinall; Adrià Gascón

doi:10.1007/978-3-030-17138-4_8

On the Formalisation of Σ-Protocols and Commitment Schemes

David Butler, David Aspinall, Adrià Gascón

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

Abstract

There is a fundamental relationship between Σ-protocols and commitment schemes whereby the former can be used to construct the latter. In this work we provide the first formal analysis in a proof assistant of such a relationship and in doing so formalise Σ-protocols and commitment schemes and provide proofs of security for well known instantiations of both primitives.

Original language	English
Title of host publication	Principles of Security and Trust. POST 2019.
Editors	F Nielson, D Sands
Publisher	Springer
Pages	175-196
Number of pages	22
ISBN (Electronic)	978-3-030-17138-4
ISBN (Print)	978-3-030-17137-7
DOIs	https://doi.org/10.1007/978-3-030-17138-4_8
Publication status	Published - 3 Apr 2019
Event	Principles of Security and Trust 2019 - Prague, Czech Republic Duration: 8 Apr 2019 → 11 Apr 2019 https://conf.researchr.org/track/etaps-2019/post-2019-papers#About

Publication series

Name	Lecture Notes in Computer Science
Volume	11426
ISSN (Electronic)	0302-9743

Conference

Conference	Principles of Security and Trust 2019
Abbreviated title	POST 2019
Country/Territory	Czech Republic
City	Prague
Period	8/04/19 → 11/04/19
Internet address	https://conf.researchr.org/track/etaps-2019/post-2019-papers#About

Access to Document

10.1007/978-3-030-17138-4_8Licence: Creative Commons: Attribution (CC-BY)

On the Formalisation_BUTLER_DOA29012019_VOR_CC-BYFinal published version, 582 KBLicence: Creative Commons: Attribution (CC-BY)

https://link.springer.com/chapter/10.1007/978-3-030-17138-4_8Licence: Creative Commons: Attribution (CC-BY)

Turing Fellow
Aspinall, D. (Principal Investigator)
UK-based charities
1/09/16 → 31/08/20
Project: Research

Cite this

@inproceedings{cc8b396d5b76429a8ac59d7a858b4ea1,

title = "On the Formalisation of Σ-Protocols and Commitment Schemes",

abstract = "There is a fundamental relationship between Σ-protocols and commitment schemes whereby the former can be used to construct the latter. In this work we provide the first formal analysis in a proof assistant of such a relationship and in doing so formalise Σ-protocols and commitment schemes and provide proofs of security for well known instantiations of both primitives.",

author = "David Butler and David Aspinall and Adri{\`a} Gasc{\'o}n",

year = "2019",

month = apr,

day = "3",

doi = "10.1007/978-3-030-17138-4_8",

language = "English",

isbn = "978-3-030-17137-7",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "175--196",

editor = "F Nielson and {Sands }, D",

booktitle = "Principles of Security and Trust. POST 2019.",

address = "United Kingdom",

note = "Principles of Security and Trust 2019, POST 2019 ; Conference date: 08-04-2019 Through 11-04-2019",

url = "https://conf.researchr.org/track/etaps-2019/post-2019-papers#About",

}

TY - GEN

T1 - On the Formalisation of Σ-Protocols and Commitment Schemes

AU - Butler, David

AU - Aspinall, David

AU - Gascón, Adrià

PY - 2019/4/3

Y1 - 2019/4/3

N2 - There is a fundamental relationship between Σ-protocols and commitment schemes whereby the former can be used to construct the latter. In this work we provide the first formal analysis in a proof assistant of such a relationship and in doing so formalise Σ-protocols and commitment schemes and provide proofs of security for well known instantiations of both primitives.

AB - There is a fundamental relationship between Σ-protocols and commitment schemes whereby the former can be used to construct the latter. In this work we provide the first formal analysis in a proof assistant of such a relationship and in doing so formalise Σ-protocols and commitment schemes and provide proofs of security for well known instantiations of both primitives.

U2 - 10.1007/978-3-030-17138-4_8

DO - 10.1007/978-3-030-17138-4_8

M3 - Conference contribution

SN - 978-3-030-17137-7

T3 - Lecture Notes in Computer Science

SP - 175

EP - 196

BT - Principles of Security and Trust. POST 2019.

A2 - Nielson, F

A2 - Sands , D

PB - Springer

T2 - Principles of Security and Trust 2019

Y2 - 8 April 2019 through 11 April 2019

ER -

On the Formalisation of Σ-Protocols and Commitment Schemes

Abstract

Publication series

Conference

Access to Document

Fingerprint

Projects

Turing Fellow

Cite this