Attack on a Scheme for Obfuscating and Outsourcing SAT Computations to the Cloud. - Khazam Alhamdan; Tassos Dimitriou; Imtiaz Ahmad (ICETE (2), 2019)

CENSOR: Privacy-preserving Obfuscation for Outsourcing SAT formulas. - Tassos Dimitriou; Khazam Alhamdan (IACR Cryptol. ePrint Arch., 2022)