Sign in

Zooid: a DSL for certified multiparty computation: from mechanised metatheory to certified multiparty processes.

David Castro-PerezFrancisco FerreiraLorenzo GheriNobuko Yoshida
Published in: PLDI (2021)
Keyphrases
  • multi party
  • privacy preserving
  • secret sharing
  • technical support
  • human communication
  • turn taking
  • process model
  • artificial intelligence
  • social networks
  • e learning
  • case study
  • mental states
  • description language