Sigma Protocols and Commitment Schemes

MaRDI QIDQ7361520FDO

Authors David Butler, Andreas Lochbihler

Publication date 7 October 2019

Cites work

• Constructions and bounds for unconditionally secure non-interactive commitment schemes
• Efficient signature generation by smart cards
• How to simulate it in Isabelle: towards formal proof for secure multi-party computation
• Unnamed Publication
• On the formalisation of -protocols and commitment schemes
• Secure Coded Multi-Party Computation for Massive Matrix Operations

Cited in

(1)

• Constructive Cryptography in HOL: the Communication Modeling Aspect

This page was built for software: Sigma Protocols and Commitment Schemes