Preprocessing-Based Verification of Multiparty Protocols with Honest Majority.

Peeter Laud Alisa Pankova

Published in: IACR Cryptol. ePrint Arch. (2015)

Keyphrases

multi party
preprocessing
privacy preserving
human communication
secret sharing
turn taking
description language
feature extraction
model checking
audio video
multi agent
software engineering
cryptographic protocols