Login / Signup

On compiling Boolean circuits optimized for secure multi-party computation.

Niklas BüscherMartin FranzAndreas HolzerHelmut VeithStefan Katzenbeisser
Published in: Formal Methods Syst. Des. (2017)
Keyphrases
  • scalar product
  • privacy preserving
  • real valued
  • secure multi party computation
  • database systems