Login / Signup

Efficient Verification of Input Consistency in Server-Assisted Secure Function Evaluation.

Vladimir KolesnikovRanjit KumaresanAbdullatif Shikfa
Published in: CANS (2012)
Keyphrases
  • highly efficient
  • steady state
  • model checking
  • database
  • authentication protocol