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]

Authors

Tassos Dimitriou

This author has not been identified. Look up 'Tassos Dimitriou' in Google

Khazam Alhamdan

This author has not been identified. Look up 'Khazam Alhamdan' in Google