Proof-Carrying Data from Arithmetized Random Oracles.

Megan Chen, Alessandro Chiesa, Tom Gur, Jack O'Connor, Nicholas Spooner

Browse the full EuroCrypt paper archive.