Abhishek Jain 0002, Zhengzhong Jin, Surya Mathialagan, Omer Paneth. On Succinct Obfuscation via Propositional Proofs. In 66th IEEE Annual Symposium on Foundations of Computer Science, FOCS 2025, Sydney, Australia, December 14-17, 2025. pages 1703-1740, IEEE, 2025. [doi]
Abstract is missing.