Megan Chen, Alessandro Chiesa, Tom Gur, Jack O'Connor, Nicholas Spooner. Proof-Carrying Data from Arithmetized Random Oracles. In Carmit Hazay, Martijn Stam, editors, Advances in Cryptology - EUROCRYPT 2023 - 42nd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Lyon, France, April 23-27, 2023, Proceedings, Part II. Volume 14005 of Lecture Notes in Computer Science, pages 379-404, Springer, 2023. [doi]
Abstract is missing.