CENSOR: Privacy-preserving Obfuscation for Outsourcing SAT formulas

Tassos Dimitriou, Khazam Alhamdan. CENSOR: Privacy-preserving Obfuscation for Outsourcing SAT formulas. IACR Cryptology ePrint Archive, 2022:672, 2022. [doi]

Abstract

Abstract is missing.