Login / Signup

Public Verification of Outsourced Computation of Polynomial Functions.

Peili LiHaixia XuShu Guo
Published in: TrustCom/ISPA/IUCC (2013)
Keyphrases
  • third party
  • model checking
  • artificial intelligence
  • clustering algorithm
  • low order
  • formal verification
  • verification method
  • real time
  • search engine
  • face verification