Sign in

Going Beyond Dual Execution: MPC for Functions with Efficient Verification.

Carmit HazayAbhi ShelatMuthuramakrishnan Venkitasubramaniam
Published in: Public Key Cryptography (2) (2020)
Keyphrases
  • computationally expensive
  • database
  • neural network
  • data structure
  • genetic algorithm
  • website
  • expert systems
  • query processing
  • mobile robot
  • computationally efficient
  • cost effective
  • model checking