On the Formalisation of Σ-Protocols and Commitment Schemes

David Butler, David Aspinall, Adrià Gascón

Research output: Chapter in Book/Report/Conference proceedingConference 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 languageEnglish
Title of host publicationPrinciples of Security and Trust. POST 2019.
EditorsF Nielson, D Sands
PublisherSpringer
Pages175-196
Number of pages22
ISBN (Electronic)978-3-030-17138-4
ISBN (Print)978-3-030-17137-7
DOIs
Publication statusPublished - 3 Apr 2019
EventPrinciples of Security and Trust 2019 - Prague, Czech Republic
Duration: 8 Apr 201911 Apr 2019
https://conf.researchr.org/track/etaps-2019/post-2019-papers#About

Publication series

NameLecture Notes in Computer Science
Volume11426
ISSN (Electronic)0302-9743

Conference

ConferencePrinciples of Security and Trust 2019
Abbreviated titlePOST 2019
CountryCzech Republic
CityPrague
Period8/04/1911/04/19
Internet address

Cite this