On the Formalisation of Σ-Protocols and Commitment Schemes.

David Butler David Aspinall Adrià Gascón

Published in: POST (2019)

Keyphrases

formal analysis
real time
databases
genetic algorithm
search engine
image segmentation
information technology
sensor networks
multi party
communication protocol