Kaartik Bhushan, Ankit Kumar Misra, Varun Narayanan, Manoj Prabhakaran. Secure Non-interactive Reducibility is Decidable. In Eike Kiltz, Vinod Vaikuntanathan, editors, Theory of Cryptography - 20th International Conference, TCC 2022, Chicago, IL, USA, November 7-10, 2022, Proceedings, Part II. Volume 13748 of Lecture Notes in Computer Science, pages 408-437, Springer, 2022. [doi]
Abstract is missing.