Secure Non-interactive Reducibility is Decidable.

Kaartik Bhushan, Ankit Kumar Misra, Varun Narayanan, Manoj Prabhakaran

Browse the full TCC paper archive.