Preprocessing Based Verification of Multiparty Protocols with Honest Majority.

Peeter Laud Alisa Pankova Roman Jagomägis

Published in: Proc. Priv. Enhancing Technol. (2017)

Keyphrases

multi party
preprocessing
privacy preserving
secret sharing
model checking
human communication
preprocessing phase
feature extraction
mental states
turn taking
audio video
reinforcement learning