Riddhi Ghosal, Amit Sahai, Brent Waters. Non-Interactive Publicly-Verifiable Delegation of Committed Programs. In Alexandra Boldyreva, Vladimir Kolesnikov, editors, Public-Key Cryptography - PKC 2023 - 26th IACR International Conference on Practice and Theory of Public-Key Cryptography, Atlanta, GA, USA, May 7-10, 2023, Proceedings, Part II. Volume 13941 of Lecture Notes in Computer Science, pages 575-605, Springer, 2023. [doi]