A Machine-Checked Formalization of Sigma-Protocols.

Gilles Barthe Daniel Hedin Santiago Zanella Béguelin Benjamin Grégoire Sylvain Heraud

Published in: CSF (2010)

Keyphrases

knowledge representation
case study
batch processing
machine learning
learning algorithm
metadata
website
data model
wireless sensor networks
privacy preserving
higher throughput