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

Khazam Alhamdan, Tassos Dimitriou, Imtiaz Ahmad. Attack on a Scheme for Obfuscating and Outsourcing SAT Computations to the Cloud. In Mohammad S. Obaidat, Pierangela Samarati, editors, Proceedings of the 16th International Joint Conference on e-Business and Telecommunications, ICETE 2019 - Volume 2: SECRYPT, Prague, Czech Republic, July 26-28, 2019. pages 356-362, SciTePress, 2019. [doi]

Abstract

Abstract is missing.