Attack on a Scheme for Obfuscating and Outsourcing SAT Computations to the Cloud.

Khazam Alhamdan Tassos Dimitriou Imtiaz Ahmad

Published in: ICETE (2) (2019)

Keyphrases

cloud computing
information technology
authentication mechanism
service providers
satisfiability problem
sat problem
authentication protocol
information systems
search strategies
sat solvers
risk management
detection mechanism