Proof-Carrying Data from Arithmetized Random Oracles

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]

Authors

Megan Chen

This author has not been identified. Look up 'Megan Chen' in Google

Alessandro Chiesa

This author has not been identified. Look up 'Alessandro Chiesa' in Google

Tom Gur

This author has not been identified. Look up 'Tom Gur' in Google

Jack O'Connor

This author has not been identified. Look up 'Jack O'Connor' in Google

Nicholas Spooner

This author has not been identified. Look up 'Nicholas Spooner' in Google