CENSOR: Privacy-preserving Obfuscation for Outsourcing SAT formulas.

Tassos Dimitriou, Khazam Alhamdan

Browse the full TrustCom paper archive.