Zooid: a DSL for Certified Multiparty Computation.

David Castro-Perez Francisco Ferreira Lorenzo Gheri Nobuko Yoshida

Published in: CoRR (2021)

Keyphrases

multi party
privacy preserving
human communication
turn taking
open source
human computer interaction
orders of magnitude
mental states
description language
secret sharing
technical support
audio video